Non-standard Analysis in Dynamic Geometry
We will present the benefits of using methods of non-standard analysis in dynamic projective geometry. One major application will be the desingulariazation of geometric constructions.