Buchberger-Zacharias Theory of Multivariate Ore Extensions
Rings and Algebras
2017-01-10 v1
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.
Keywords
Cite
@article{arxiv.1701.01899,
title = {Buchberger-Zacharias Theory of Multivariate Ore Extensions},
author = {Michela Ceria},
journal= {arXiv preprint arXiv:1701.01899},
year = {2017}
}