In mathematics, and more specifically in computer algebra, computational algebraic geometry, and computational commutative algebra, a Gröbner basis is a particular kind of generating set of an ideal in a polynomial ring K[x1, ... Wikipedia

Mathematical construct in computer algebra Wikidata

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