Algorithms in Real Algebraic Geometry by Saugata Basu, Richard Pollack, Marie-Françoise Roy
About this book :-
This is a well known foundational graduate-level textbook that provides a comprehensive and self-contained introduction to the algorithmic aspects of real algebraic geometry. It covers core topics such as semi-algebraic sets, cylindrical algebraic decomposition (CAD), quantifier elimination, roadmap construction, and real root counting, along with detailed algorithmic complexity analyses. Widely regarded as a standard reference, the book is suitable for graduate students, researchers, and educators in mathematics and computer science.
The second edition contains several recent results, on discriminants of symmetric matrices, real root isolation, global optimization, quantitative results on semi-algebraic sets and the first single exponential algorithm computing their first Betti number. The textbook gives a self-contained detailed exposition of the algorithmic real algebraic geometry. It will be useful both for beginners and for advanced readers, who work in real algebraic geometry or apply its methods in other fields.
Book Detail :-
Title:
Algorithms in Real Algebraic Geometry by Saugata Basu, Richard Pollack, Marie-Françoise Roy
Publisher:
Springer
Year:
2016
Pages:
706
Type:
PDF
Language:
English
ISBN-10 #:
3540330984
ISBN-13 #:
978-3540330981
License:
Linked Content Owned by Author
Amazon:
Amazon
About Author :-
The author
Saugata Basu
is a Professor of Mathematics and Computer Science at Purdue University, West Lafayette, Indiana, US, where he specializes in the algorithmic and complexity aspects of real algebraic geometry.
Book Contents :-
1. Introduction
2. Quantifier elimination and related problems
3. Computing topological invariants of semi-algebraic sets
4. Sums of squares and semi-definite programming
5. Open problems
Similar
Abstract Algebra
Books