Buchberger-Zacharias Theory of Multivariate Ore Extensions
classification
🧮 math.RA
keywords
extensionsmultivariatetheoryalgorithmalgorithmsbasesbuchbergerbuchberger-zacharias
read the original abstract
We present Buchberger Theory and Algorithm of Gr\"obner bases for multivariate Ore extensions of rings presented as modules over a principal ideal domain. The algorithms are based on M\"oller Lifting Theorem.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.