Gröbner basis

Short definition from Wiktionary

Proper noun

1. 1
   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.