In this first-ever graduate textbook on the algorithmic aspects of real algebraic geometry, the main ideas and techniques presented form a coherent and rich body of knowledge, linked to many areas of mathematics and computing. Mathematicians already aware of real algebraic geometry will find relevant information about the algorithmic aspects. Researchers in computer science and engineering will find the required mathematical background. This self-contained book is accessible to graduate and undergraduate students.
The algorithmic problems of real algebraic geometry occur in many contexts. In this first-ever graduate textbook on the algorithmic aspects of real algebraic geometry, the main ideas and techniques presented form a coherent and rich body of knowledge, linked to many areas of mathematics and computing. Mathematicians already aware of real algebraic geometry will find relevant information about the algorithmic aspects. Researchers in computer science and engineering will find the required mathematical background. This self-contained book is accessible to graduate and undergraduate students.
Saugata Basu
polynomial system solving quantifier elimination real root counting roadmaps semi-algebraic set
"The monograph gives a self-contained detailed exposition of the algorithmic real algebraic geometry. In general, the monograph is well written and will be useful both for beginners and for advanced readers, who work in real algebraic geometry or app
()