In this thesis we will integrate concepts of non-standard analysis into projective geometry. Especially, we will analyze the properties of a projective space over a non-Archimedean field. One major application of the developed theory will be the automatic removal of singularities in geometric constructions. Furthermore, we will give fast numerical methods which allow the automatic removal of such singularities in real time.
Translated abstract:
In dieser Dissertation integrieren wir Konzepte der Nichtstandardanalysis in das Gebiet der projektiven Geometrie. Insbesondere werden wir die Eigenschaften eines projektiven Raumes über einem nicht-archimedischen Körper analysieren. Die Hauptanwendung der entwickelten Theorie ist die automatische Hebung von Singularitäten geometrischen Konstruktionen. Darüber hinaus werden wir schnelle numerische Methoden präsentieren, die das automatische Heben solcher Singularitäten in Echtzeit ermöglichen.