Algoritmo de Buchberger

Algoritmo que, dado un conjunto finito de polinomios multivariados en un anillo de polinomios sobre un cuerpo y un orden monomial, produce una base de Gröbner del ideal que generan; la salida es un conjunto finito de generadores cuyos términos líderes generan el ideal de términos líderes.

Un procedimiento iterativo que construye una base de Gröbner a partir de un conjunto finito de polinomios dado, formando repetidamente S-polinomios de pares, reduciéndolos módulo la base actual y adjuntando los restos no nulos hasta que todos los S-polinomios se reduzcan a cero.