Bøker av Teo (University of Genoa) Mora

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

This third volume of four describes all the most important techniques, mainly based on Groebner bases. It covers the 'standard' solutions (Gianni-Kalkbrener, Auzinger-Stetter, Cardinal-Mourrain) as well as the more innovative (Lazard-Rouillier, Giusti-Heintz-Pardo). The author also explores the historical background, from Bezout to Macaulay.

Mora covers the classical theory of finding roots of a univariate polynomial, emphasising computational aspects. He shows that solving a polynomial equation really means finding algorithms that help one manipulate roots rather than simply computing them; to that end he also surveys algorithms for factorizing univariate polynomials.