Over-determined polynomial system; Simple real zeros; Sum of squares; Minimum point; Interval methods;
机译:多项式系统孤立零点的证明方法
机译:关于多项式系统的简单多零和簇的分离
机译:使用认证计数的谐波多项式零点的实验
机译:认证超固定多项式系统的简单零
机译:验证Q 1上的多项式系统的解决方案。
机译:预定干涉系统中的折射率补偿
机译:1多项式系统奇异零点的收缩与证明
机译:任意多项式的零点作为简单矩阵的特征值