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 Grobner basis computation algorithms for multivariate Ore extensions of rings presented as modules over a principal ideal domain, using Moller-Pritchard lifting theorem.
Buchberger-Zacharias Theory of multivariate Ore extensions
Ceria Michela;
2017-01-01
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 Grobner basis computation algorithms for multivariate Ore extensions of rings presented as modules over a principal ideal domain, using Moller-Pritchard lifting theorem.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
