Solving Polynomial Equation Systems IV: Volume 4, Buchberger Theory and Beyond - Mora, Teo (University of Genoa)

In this fourth and final volume the author covers extensions of Buchberger's Algorithm, including a discussion of the most promising recent alternatives to Gröbner bases: Gerdt's involutive bases and Faugre's F4 and F5 algorithms. This completes the author's comprehensive treatise, which is a fundamental reference for any mathematical library.