Buchberger's algorithm

== English == === Etymology === Invented by Austrian mathematician Bruno Buchberger. === Proper noun === Buchberger's algorithm (computing theory) An algorithm for transforming a given set of generators for a polynomial ideal into a Gröbner basis with respect to some monomial order.