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.