Algorithms in real algebraic geometry. 2nd ed. (English) Zbl 1102.14041

Basu, Saugata; Pollack, Richard; Roy, Marie-Françoise

Algorithms and Computation in Mathematics 10. Berlin: Springer (ISBN 3-540-33098-4/hbk). x, 662 p. (2006).

This is the second edition of the monograph of the same authors [Algorithms in Real Algebraic Geometry, Springer, Berlin (2003; Zbl 1031.14028)], which appears due to high interest and large demand by researchers working in the field and related areas. Main changes made by the authors in the second edition, intend to improve presentation as a teaching source. In particular, the cylindrical decomposition algorithm and the real root counting have been made independent on some advanced technical polynomial computation, and respectively, these topics appear in the book earlier.
Among new topics included in the book are normal polynomials and virtual roots, discriminants of symmetric matrices, computation of the first Betti number of a semi-algebraic set in a single-exponential time. The updated bibliography reflects the last years achievements in computational real algebraic geometry.

Reviewer: Eugenii I. Shustin (Tel Aviv)

MSC:

14P10	Semialgebraic sets and related spaces
14-02	Research exposition (monographs, survey articles) pertaining to algebraic geometry
14Q99	Computational aspects in algebraic geometry
68W30	Symbolic computation and algebraic computation
13P10	Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases)

Keywords:

real closed fields; real semi-algebraic sets; quantifier elimination; complexity of algorithms; algorithmic real algebraic geometry

Citations:

Zbl 1031.14028

Software:

RAGlib; SARAG; QEPCAD; FGb