Buchberger's algorithm for computing a Gröbner basis via S-polynomials and reductions until completion

Original label: Buchberger's algorithm for computing a Gröbner basis via S-polynomials and reductions until completion