The algorithmic problems of real algebraic geometry such as real root counting, deciding the existence of solutions of systems of polynomial equations and inequalities, finding global maxima or deciding whether two points belong in the same connected component of a semi-algebraic set appear frequently in many areas of science and engineering. In this textbook the main ideas and techniques presented form a coherent and rich body of knowledge.

Mathematicians will find relevant information about the algorithmic aspects. Researchers in computer science and engineering will find the...

The proceedings of a conference on real algebraic geometry, which examines such issues as the topology of real algebraic varieties, classical algebraic geometry, algorithms and techniques, semialgebraic geometry and real analytical geometry.

The present volume is a translation, revision and updating of our book (pub lished in French) with the title "Geometrie Algebrique Reelle." Since its pub lication in 1987 the theory has made advances in several directions. There have also been new insights into material already in the French edition. Many of these advances and insights have been incorporated in this English version of the book, so that it may be viewed as being substantially different from the original. We wish to thank Michael Buchner for his careful reading of the text and for his linguistic corrections and stylistic...