The goal of this paper is to report on a prototype of a new dynamic geometry software, GDI (Geometría Dinámica Inteligente). We will describe how, apart from being a standard dynamic environment for elementary geometry, GDI addresses some key problems of the dynamic geometry paradigm, by including enhanced tools for loci generation and automatic proving, plus another distinguished feature, namely, a discovery option, allowing the user to find complementary hypotheses for arbitrary statements to become true. The key technique for all these improvements is the development of an automatic "bridge" between the graphic and the algebraic counterparts of the program (calling on an external computer algebra system). © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Botana, F., & Recio, T. (2006). Towards solving the dynamic geometry bottleneck via a symbolic approach. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3763 LNAI, pp. 92–110). https://doi.org/10.1007/11615798_7
Mendeley helps you to discover research relevant for your work.