Dynamische Geometrie und Automatisches Beweisen / Konstruktion

Visualisierung klassischer geometrischer Zusammenhänge

Viele klassisch bekannten geometrischen Zusammenhänge können erst durch morderne Software adequat visualisiert werden.

O. Labs hat beispielsweise parallel zu seiner Diplomarbeit ein Programm entwickelt, das die reellen kubischen Flächen, die als sogenannter Blowup der reellen Ebene in sechs Punkten entstehen, zu visualisieren. Es gibt noch viele ähnlich gelagerte Beispiele, meist im Zusammenhang mit algebraischen Kurven oder Flächen.

Die Umsetzung dieser Visualisierungs-Probleme kann entweder die Implementierung eines eigenen kleinen Programmes oder aber die Nutzung einer passenden bereits existierenden Software beinhalten.

Ein mögliches Thema:

1. ...

Direktlinks: Einleitung | Themenübersicht