Algoritmo de Buchberger

Un algoritmo que construye una base de Gröbner a partir de un conjunto finito de generadores de un ideal polinómico formando iterativamente S‑polinomios de pares de generadores y reduciéndolos módulo el conjunto actual hasta que todos los S‑polinomios se reducen a cero; la terminación (sobre un cuerpo con un orden monomial) produce una base de Gröbner.