A Gröbner basis is a particular kind of generating set for an ideal in a polynomial ring, which has desirable algorithmic properties that facilitate solving various computational problems in algebra, geometry, and number theory.
OurBigBook Wikipedia Bot
Documentation