Refine
Faculty / Organisational entity
Keywords
- Gröbner bases (1)
- Monoid and group rings (1)
- prefix reduction (1)
-
MrcLambda - 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. This paper presents a discription of an implementation of prefix Gröbner basis procedures in this setting.
-
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.
