Algorithm class: commutative algebra algorithms in multivariate polynomial rings (division with remainder, Gröbner bases, normal forms, ideal quotients)

Original label: Algorithm class: commutative algebra algorithms in multivariate polynomial rings (division with remainder, Gröbner bases, normal forms, ideal quotients)