Abstract:
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.