Buchberger-Algorithmus

Ein Algorithmus, der aus einem gegebenen endlichen Erzeugendensystem eines Polynomideals eine Gröbner-Basis konstruiert, indem iterativ S‑Polynome von Paare von Erzeugern gebildet und modulo der aktuellen Menge reduziert werden, bis alle S‑Polynome auf Null reduziert sind; die Terminierung (über einem Körper mit Monomordnung) liefert eine Gröbner-Basis.