零维多项式系统实根隔离的通用基于位置的方法
摘要：改进了局部一般位置方法以分离具有两个多项式的零维双变量多项式系统的实根，并将该方法扩展到一般的零维多项式系统。该方法主要涉及结果计算和单变量多项式方程的实根分离。系统的根具有线性单变量表示。该方法在双变量情况下的复杂度为$ilde{O}_B(N^{10})$，其中$N=max(d, au)$，分别是输入多项式的度上界和最大系数比特位数。该算法在多变量情况下具有概率1的证明性。实现表明该方法是高效的，尤其适用于双变量多项式系统。
作者：Jin-San Cheng and Kai Jin
论文ID：1312.0462
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2013-12-03