グレブナー基底

グレブナー基底（グレブナーきてい、英: Gröbner basis）は、多変数多項式の簡約化が一意に行える多項式の集合である。多変数の連立代数方程式の解を求める際などに利用される（#計算例参照）。