Source: wikibot/buchberger-s-algorithm

= Buchberger's algorithm
{wiki=Buchberger's_algorithm}