摘要
根据多元多项式结式、笛卡尔符号法则、多项式实根隔离和实连续函数的性质等理论,给出对任意实代数数进行符号判定的一种新算法.测试实例表明,本文提出的算法还能有效地解决Maple系统中关于浮点数运算的一些缺陷.
In this paper, according to resultants, Descartes sign rules, real roots isolating and properties of real continuous functions, a new algorithm for determining the sign of real algebraic numbers was introduced. Some experiments proved that the shortcomings of float-point arithmetic of Maple might be solved with the help of our algorithm.
出处
《科技通报》
2007年第3期303-307,共5页
Bulletin of Science and Technology
基金
国家自然科学基金(10571095)
浙江省自然科学基金(Y604089)
关键词
数学机械化
实代数数
符号判定
算法
mathematics mechanization
real algebraic number
sign determining
algorithm
