Solving Polynomial Equation Systems IV: Volume 4, Buchberger Theory and Beyond

In this fourth and final volume the author extends Buchberger''s Algorithm in three different directions. First, he extends the theory to group rings and other Ore-like extensions, and provides an operative scheme that allows one to set a Buchberger theory over any effective associative ring. Second, he covers similar extensions as tools for discussing parametric polynomial systems, the notion of ...