行列式多项式序列

发现和消去多项式系数的多余公因子在符号与代数计算中十分重要。关于这一问题的主要进展是Bareiss和Collins,他们分别研究了多项式辗转相除法和使用高斯消去法时的多余公因子问题,并且给出了这些因子的具体形式。本文将讨论多项式系统三角化时的多余公因子问题,其结果可以应用于几何定理机器证明,解代数方程组和多项式系统整序。