Buchberger–Möller-Algorithmus

Ein Algorithmus, der das Interpolationsideal und eine Gröbnerbasis aus einer endlichen Punktmenge konstruiert, indem er schrittweise lineare Systeme für Monom-Auswertungen aufbaut und lineare Algebra verwendet, um Abhängigkeiten zwischen Monomen zu bestimmen und Basen des Verschwindensideals zu erzeugen.