Gröbner basis algorithm

A Gröbner basis algorithm is a computational procedure that transforms a set of multivariate polynomials into a special generating set (a Gröbner basis) that simplifies solving and analyzing polynomial ideal problems such as solving systems of equations, ideal membership, and elimination.