Einführung

Versuche neuen komplizierten Algorithmus zu verstehen

Konstruktiver geometrischer Beweis ist eine Form eines animierten Algorithmus

Beispiel:
Konstruktion eines gleichschenkligen Dreiecks mit Zirkel und Lineal.

Schwierigkeiten

  • geometrische Algorithmen meistens schwerer als andere Algorithmen zu entwerfen, programmieren, debuggen
  • oft fehlen Mittel, um geometrische Objekte darzustellen
Was sind geometrische Algorithmen?
  • konvexe Hülle
  • Polygontriangulierung
  • Schnittpunkt zweier Linien