Non-standard Analysis in Dynamic Geometry

Abstract

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.

Publication
submitted to Journal of Symbolic Computation
Date