Christoph Fürst, Günter Landsmann,
"Three Examples of Gröbner Reduction over Noncommutative Rings"
, Serie RISC, Nummer 15-16, RISC, JKU, Hagenberg, Linz, 10-2015
Three Examples of Gröbner Reduction over Noncommutative Rings
Sprache des Titels:
In this report three classes of noncommutative rings are investigated with emphasis on their properties with respect to reduction relations. The Gröbner basis concepts in these rings, being developed in the literature by several authors, are considered and it is shown that the reduction relations corresponding to these Gröbner bases obey the axioms of a general theory of Gröbner reduction.