Pedro Quaresma, Predrag Janicic. Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories. In Jonathan M. Borwein, William M. Farmer, editors, Mathematical Knowledge Management, 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings. Volume 4108 of Lecture Notes in Computer Science, pages 280-294, Springer, 2006. [doi]
Abstract is missing.