| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 5772766 | Journal of Pure and Applied Algebra | 2017 | 63 Pages |
Abstract
Following the recent survey on Buchberger-Zacharias Theory for monoid rings R[S] over a unitary effective ring R and an effective monoid S, we propose here a presentation of Buchberger-Zacharias Theory and related Gröbner basis computation algorithms for multivariate Ore extensions of rings presented as modules over a principal ideal domain, using Möller-Pritchard lifting theorem.
Related Topics
Physical Sciences and Engineering
Mathematics
Algebra and Number Theory
Authors
Michela Ceria, Teo Mora,