グレブナー基底
グレブナー基底（グレブナーきてい、）は、多変数多項式の簡約化が一意に行える多項式の集合である。多変数の連立代数方程式の解を求める際などに利用される（#計算例参照）。
グレブナー基底を求めるアルゴリズムとしては、ブッフベルガーアルゴリズム（）があり、数式処理の分野での連立代数方程式の解法として使われている。また、可換環論、代数幾何、微分方程式論、整数計画問題などに出てくる様々な数学的対象物を構成するための基礎となっている。