基于混合计算的多项式方程实根分离
摘要：多项式方程的实根隔离的一种基于混合计算的新算法是在本文中提出的。首先，利用同伦延续法得到给定多项式方程的近似（复）零点。然后，针对每个近似零点，利用Kantorovich定理构造一个包含相应精确零点的初始区间。最后，采用Krawczyk区间迭代与区间算术对初始区间进行处理，以检查相应的近似零点是否为实根，并得到实根隔离区间。同时，提供了一种经验性的初始区间构造方法以获得更高的性能。我们在许多基准测试中的实验结果表明，与传统的符号方法相比，这种新的混合方法更加高效。
作者：Fei Shen, Wenyuan Wu and Bican Xia
论文ID：1207.3019
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2012-10-17