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…