Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach

Francisco Botana, Tomás Recio. Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach. In Hoon Hong, Dongming Wang, editors, Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers. Volume 3763 of Lecture Notes in Computer Science, pages 92-110, Springer, 2004. [doi]

Authors

Francisco Botana

This author has not been identified. Look up 'Francisco Botana' in Google

Tomás Recio

This author has not been identified. Look up 'Tomás Recio' in Google