Buchberger's algorithm for submodules of free modules (Algorithm ): compute a Gröbner basis using module S-polynomials

Class:
Algorithm