Vorlesung Reell-algebraische Geometrie FSS2015

Wolfgang K. Seiler

Dienstag und Donnerstag 13.45-15.15, C015

Übungen Dienstag 15.30-17.00, C015

Prüfungen

Die nächsten Prüfungstermine sind Donnerstag, der 27. August und Dienstag, der 1. September 2015. Interessenten sollten sich möglichst bald an mich wenden, gegebenenfalls mit Vorlieben bezüglich der Uhrzeit. Die bislang für diese Tage angesetzten Prüfungen sind hier zu finden.

Übungsblätter

Skriptum

Zum ersten Teil der Vorlesung erscheint ein Skriptum; da dieses parallel zur Vorlesung entsteht ist es mit Sicherheit noch nicht fehlerfrei. Für Hinweise auf Fehler und für Verbesserungsvorschläge jeder Art bin ich dankbar.

Skriptum zum Anfang der Vorlesung

Literatur

Hauptreferenz ist das Buch

Riccardo Benedetti, Jean-Jacques Risler: Real-algebraic and semialgebraic sets, Hermann, Paris, 1990

Teile des Stoffs sind auch zu finden bei

Michel Coste: An introduction to semialgebraic geometry, Rennes, 2002

Algorithmische Aspekte findet man bei

Saugata Basu, Richard Pollak, Marie-Francoise Roy: Algorithms in Real Algebraic Geometry, Springer, 2003

Tarskis Axiomensystem der Geometrie findet man in

W. Schwabhäuser, W. Szmielew, A. Tarski: Metamathematische Methoden in der Geometrie, Springer, 1983

Sein Buch über die Entscheidbarkeit der elementaren Algebra und Geometrie ist nachgedruckt als Seite 24-121 des Konferenzbands

B.F. Caviness, J.R. Johnson [Hrsg.]: Quantifier Elimination and Cylindrical Algebraic Decomposition, Springer, Wien, 1998