Groebner Basis Method
Groebner Basis method was introduced by Bruno Buchberger in 1965.
Given a finite set of multivariate polynomials over a field, a new set of polynomials
with good properties can be found by Buchberger's algorithm, called Groebner basis,
which will be used to find the solutions of the polynomial system.
This method has been extensively studied, developed and has been implemented on
all major Computer Algebra systems.