Saugata Basu, Richard Pollack, Marie-Françoise Coste-Roy

Algorithms in Real Algebraic Geometry (eBook, PDF)

• Format: PDF

Produktbeschreibung

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 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.

This revised second edition contains several recent results, notably 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. An index of notation has also been added.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer-Verlag GmbH
• Seitenzahl: 662
• Erscheinungstermin: 21. April 2007
• Englisch
• ISBN-13: 9783540330998
• Artikelnr.: 44223370

Inhaltsangabe

Algebraically Closed Fields.- Real Closed Fields.- Semi-Algebraic Sets.- Algebra.- Decomposition of Semi-Algebraic Sets.- Elements of Topology.- Quantitative Semi-algebraic Geometry.- Complexity of Basic Algorithms.- Cauchy Index and Applications.- Real Roots.- Cylindrical Decomposition Algorithm.- Polynomial System Solving.- Existential Theory of the Reals.- Quantifier Elimination.- Computing Roadmaps and Connected Components of Algebraic Sets.- Computing Roadmaps and Connected Components of Semi-algebraic Sets.

Rezensionen

From the reviews of the first edition: "Gegenstand des Buches sind zentrale algorithmische Probleme der reellen algebraischen Geometrie. Hierzu zählen beispielsweise die Frage nach der Existenz reeller Lösungen einer (durch polynomiale Gleichungen und Ungleichungen) bestimmten semialgebraischen Menge oder die Frage, ob zwei Punkte zur gleichen Zusammenhangskomponente einer gegebenen semialgebraischen Menge gehören. [...] Eine der Herausforderungen kommt daher, dass hierbei eine Reihe von Teilgebieten der Mathematik und Informatik wie Topologie, algebraische Geometrie, Computeralgebra, Komplexitätstheorie sowie der Entwurf effizienter Algorithmen eng miteinander verzahnt sind und deshalb die Literatur sehr verstreut war. In genau diese Lücke möchte das vorliegende Buch stoßen - und dieses Unterfangen ist den Autoren in beeindruckender Weise gelungen! [...] Das Buch bietet eine sehr zeitgemäße, gelungene Darstellung klassischen sowie aktuellen Materials zu algorithmischen Fragen der reellen algebraischen Geometrie, die in dieser Breite bisher nicht verfügbar war. Besonders auffällig ist die erfolgreiche Absicht der Autoren, eine kohärente und vor allem in sich geschlossene Darstellung zu liefern, die die verschiedenen beteiligten mathematischen Teilgebiete umfassend berücksichtigt. Aufgrund dieser Darstellungsweise bietet das Bcuh zahlreiche Einstiegs- und Verwendungsmöglichkeiten, sowohl in Lehre und Forschung als auch als Nachschlagewerk. Es wird sich schnell als Standardwerk zu dem behandelten Themenkreis etablieren." T.Theobald, Jahresberichte 107, Band (2005) Heft 1