Seminar Algorithmische Geometrie Exaktes Geometrisches Rechnen und Runden Sommersemester 2006 Stefan Schirra Marc Mörig Das Seminar wird als Blockseminar am 16. Juni, ab 13.15 Uhr in Geb. 29, Raum 335 durchgeführt. Im Seminar werden Themen zum Exakten Geometrischen Rechnen, insbesondere zum verifizierten Rechnen mit einfachen algebraischen Zahlen, besprochen, beispielsweise, wie man numerisch entscheiden kann, ob die beiden folgenden Summen von Wurzeln den gleichen Wert ergeben: Stundenplan Zuhörer sind willkommen!

Vortragsplan: (50 min. Vortrag + 10 min. Diskussion)

13:15 - 14:15	Mykhaylo Nykolaychuk: Exaktes Rechnen mit algebraischen Zahlen in CORE und LEDA V. Karamcheti, C. Li, I. Pechtchanski, C. Yap A Core Library for Robust Numeric and Geometric Computation SCG 1999. C. Burnikel, R. Fleischer, K. Mehlhorn, S. Schirra Efficient Exact Geometric Computation Made Easy SCG 1999.
14:30 - 15:30	Maik Morgenstern: Konstruktive Separationsschranken für algebraische Zahlen E.R. Scheinerman When Close Enough is Close Enough The American Mathematical Monthly 107, 2000. C. Burnikel, R. Funke, K. Mehlhorn, S. Schirra, S. Schmitt A Separation Bound for Real Algebraic Expressions ESA 2001.

Hinweis: "How to present a paper in theoretical computer science" () ist eine inzwischen in die Jahre gekommene Anleitung zur Vortragsvorbereitung, die aber immer noch sehr nützliche Infos bietet. Man beachte, dass sich die Anleitung auf kürzere Vorträge (20- 30 min) bezieht; ein wenig mehr Zeit für Details haben wir schon. Natürlich muss man auch die Hinweise zur Medienwahl auf die neuen Gegebenheiten übertragen (damals waren Beamer noch eine Rarität).