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
Journal of Symbolic Computation (accepted)
Date