Algorithms in real algebraic geometry (Q5920628)

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.