Algorithms in Real Algebraic Geometry

Forsideomslag
Springer Science & Business Media, 9. mar. 2013 - 602 sider

The algorithmic problems of real algebraic geometry such as real root counting, deciding the existence of solutions of systems of polynomial equations and inequalities, or deciding whether two points belong in the same connected component of a semi-algebraic set 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, and researchers in computer science and engineering will find the required mathematical background.

Being self-contained the book is accessible to graduate students and even, for invaluable parts of it, to undergraduate students.

Fra bogen

Indhold

Introduction
1
Algebra
91
པ Decomposition of SemiAlgebraic Sets
137
Elements of Topology
173
Quantitative Semialgebraic Geometry
201
Complexity of Basic Algorithms
241
Cauchy Index and Applications
283
Real Roots 321
320
Cylindrical Decomposition Algorithm 421
420
Existential Theory of the Reals
465
Quantifier Elimination
493
Computing Roadmaps and Connected Components
522
Computing Roadmaps and Connected Components
549
References 587
586
Index
595
Copyright

Polynomial System Solving
365

Andre udgaver - Se alle

Almindelige termer og sætninger

Bibliografiske oplysninger