Non-standard Analysis in Dynamic Geometry
arXiv:1801.10507 · doi:10.1016/j.jsc.2018.12.006
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.