Buchberger-Weispfenning Theory for Effective Associative Rings
Michela Ceria

TL;DR
This paper introduces a novel approach for computing Gr"obner bases in associative rings using Weispfenning's concept of restricted Gr"obner bases, enhancing the effectiveness of algebraic computations.
Contribution
It develops a new method based on Weispfenning's restricted Gr"obner bases for bilateral modules over effective rings, advancing computational algebra techniques.
Findings
New algorithm for bilateral modules
Improved efficiency in Gr"obner basis computation
Theoretical framework for associative rings
Abstract
We present here a new approach for computing Gr\"obner bases for bilateral modules over an effective ring. Our method is based on Weispfenning notion of restricted Gr\"obner bases and related multiplication.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsCommutative Algebra and Its Applications · Polynomial and algebraic computation · Algebraic Geometry and Number Theory
