Buchberger's algorithm

Etymology
Invented by Austrian mathematician.

Proper noun

 * 1)  An algorithm for transforming a given set of generators for a polynomial ideal into a Gröbner basis with respect to some monomial order.