Vorlesung Reell-algebraische Geometrie FSS2018

Wolfgang K. Seiler

Mittwoch 10.15-11.45, C015 und Freitag, 13.45-15.15, C013

Übungen Mittwoch 12.00-13.30, C012

am 16. Mai in B6, A1.01 statt in C012


Ü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