Algorithme de Buchberger–Möller

Un algorithme qui construit l'idéal d'interpolation et une base de Gröbner à partir d'un ensemble fini de points en construisant incrémentalement des systèmes linéaires d'évaluations de monômes, en utilisant l'algèbre linéaire pour déterminer les relations entre monômes et produire des bases de l'idéal d'annulation.