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

• Blatt 1 vom 17. Februar 2018
• Blatt 2 vom 26. Februar 2018
• Blatt 3 vom 3. März 2018
• Blatt 4 vom 8. März 2018
• Blatt 5 vom 16. März 2018
• Blatt 6 vom 29. März 2018
• Blatt 7 vom 11. April 2018
• Blatt 8 vom 19. April 2018
• Blatt 9 vom 25. April 2018
• Blatt 10 vom 3. Mai 2018
• Blatt 11 vom 14. Mai 2018

Skriptum

Skriptum zum Anfang der Vorlesung

Literatur

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