Arbeitsthemen in der AG Schreyer

 

 

Direktlinks: Einleitung | Themenübersicht

Dynamische Geometrie und Automatisches Beweisen / Computation

Themengebiet: Anbindung von Computeralgebra und algebraischer Visualisierungssoftware an Dynamische Geometrie Systeme

O. Labs hat bereits 2001 eine (leider nie ausgereifte) Version eines konstruktiven Geometrie Programmes entwickelt, mit der man nicht nur dynamisch konstruktive Geometrie treiben kann, sondern zusätzlich algebraische Kurven direkt in der Konstruktion und außerdem algebraische Flächen in einem externen Fenster anzeigen kann.

Eine solche Software ist zur Visualisierung vieler Zusammenhänge auf dem Grenzgebiet zwischen algebraischer Geometrie und konstruktiver Geometrie unabdingbar. Beispielsweise bei der Visualisierung der reellen kubischen Flächen im Bild links, die in engem Zusammenhang zur Position der sechs Punkte im rechten Bild und den dort eingezeichneten Geraden und Kegelschnitten stehen.

Einige mögliche Themen lauten daher:

  1. Anbindung von Software zur real-time Visualisierung algebraischer Kurven an das Dynamische Geometrie System Cinderella
  2. Anbindung von Computer Algebra Software an das Dynamische Geometrie System Cinderella

Direktlinks: Einleitung | Themenübersicht