吴消元法，又称吴特征列方法，是吴文俊院士创立的将多元多项式方程组简化然后求解的机械化算法。吴消元法可用计算机实现，是数学机械化的基础。
多项式的指标.多项式：称为多项式P的主变元，记为 Ivar(P)多项式的初式，是多项式主变数最高幂项的系数，记为 init(P)
多项式的初式和正则形式.formula_14init(P)=formula_15;初式 init(P)是一个除主变元之外的多项式I：I=I(formula_1,formula_