Invited talk at Workshop D1 "Groebner Bases Theory and Applications in Algebraic Geometry" of the Special Semester on Groebner Bases and Related Methods
Sprache des Tagungstitel:
Englisch
Original Kurzfassung:
We show, how non-commutative Groebner bases arise in GR-algebras, which properties they possess and how they are implemented in a subsystem PLURAL of the computer algebra system SINGULAR. We discuss both the ring-theoretic properties of GR-algebras and software engineering aspects of the implementation.