Algoritmo de Buchberger–Möller

Un algoritmo que construye el ideal de interpolación y una base de Gröbner a partir de un conjunto finito de puntos, construyendo incrementalmente sistemas lineales de evaluaciones de monomios y empleando álgebra lineal para determinar dependencias entre monomios y producir bases del ideal de anulación.