实代数数符号判定的一种新算法  

A New Algorithm for Determining Sign of Real Algebraic Numbers

作　　者：解烈军[1] 侯晓荣[1] 杨志辉[2] 

机构地区：[1]宁波大学理学院,浙江宁波315211 [2]东华理工学院,江西抚州344000

出　　处：《科技通报》2007年第3期303-307,共5页Bulletin of Science and Technology

基　　金：国家自然科学基金(10571095);浙江省自然科学基金(Y604089)

摘　　要：根据多元多项式结式、笛卡尔符号法则、多项式实根隔离和实连续函数的性质等理论,给出对任意实代数数进行符号判定的一种新算法.测试实例表明,本文提出的算法还能有效地解决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.

关 键 词：数学机械化 实代数数 符号判定 算法 

分 类 号：O174.14[理学—数学] TP301.6[理学—基础数学]