3 citations · 9 across the 19 of their papers we have counts for
Showing math.RAShow all
2 papers · 1 filter
math.RA2017
Buchberger-Zacharias Theory of Multivariate Ore Extensions
Michela Ceria
We present Buchberger Theory and Algorithm of Gröbner bases for multivariate Ore extensions of rings presented as modules over a principal ideal domain. The algorithms are based on…
math.RA2016
Buchberger-Weispfenning Theory for Effective Associative Rings
Michela Ceria
We present here a new approach for computing Gröbner bases for bilateral modules over an effective ring. Our method is based on Weispfenning notion of restricted Gröbner bases and…