Reports on Computer Algebra (ZCA Report)
- prefix reduction (1) (remove)
- MRC - A System for Computing Gröbner Bases in Monoid and Group Rings (1998)
- Gröbner bases and Buchberger's algorithm have been generalized to monoid and group rings. In this paper we summarize procedures from this field and present a description of their implementation in the system Mrc V 1.0.