实闭域计算的一个实用有效方法

摘要：

在计算实践中,处理大型多项式时,由于复杂性原因,实闭域一阶理论判定方法实际上无效.因此寻找求解多项式方程与不等式组的有效方法(未必是判定方法)是符号计算中的重要问题.为解决这一问题,将Budan-Fourier 定理与Ritt-Wu 方法结合提出确定多项式方程实根和证明不等式的简单有效方法.尽管该方法不完备,但是在计算实践中发现这一方法对许多例子在计算上很有效.

关键词：符号计算、多项式方程、多项式不等式

所属期刊栏目：29

分类号：TP301.6(计算技术、计算机技术)

资助基金：国家重点基础研究发展计划（973计划）G1999032701

在线出版日期：2003-11-07（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：847-851