Buchberger's algorithm

Today it means: An algorithm for transforming a given set of generators for a polynomial ideal into a Gröbner basis with respect to some monomial order. Full definition →