Richter-Gebert, J., & Kortenkamp U. H.  (2002).  Complexity issues in Dynamic Geometry.  (Cucker, F., & Rojas M. J., Ed.).Foundations of Computational Mathematics (Proceedings of the Smale Fest 2000).