Buchberger-Weispfenning Theory for Effective Associative Rings
arXiv:1611.08846
Abstract
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 related multiplication.