Gröbner basis

(computing theory) A particular kind of generating set of an ideal in a polynomial ring K[x1, ..,xn] over a field K. It allows many important properties of the ideal and the associated algebraic variety to be deduced easily, such as the dimension and the number of zeros when it is finite.