Algorithm class: Gröbner-basis-driven algorithms for submodules of free modules (division with remainder, Buchberger for modules, Schreyer-resolutions)

Original label: Algorithm class: Gröbner-basis-driven algorithms for submodules of free modules (division with remainder, Buchberger for modules, Schreyer-resolutions)