%0 Journal Article %1 keyhere %A Botana, Francisco %A Recio, Tomás %D 2006 %J Automated Deduction in Geometry %K CAS dynamic geometry pt %P 92--110 %T Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach %U http://dx.doi.org/10.1007/11615798_7 %X The goal of this paper is to report on a prototype of a new dynamic geometry software, GDI (Geometra Dinmica Inteligente). We will describe how, apart from being a standard dynamic environment for elementary geometry, GDI addresses some key problemsof the dynamic geometry paradigm, by including enhanced tools for loci generation and automatic proving, plus another distinguishedfeature, namely, a discovery option, allowing the user to find complementary hypotheses for arbitrary statements to become true. The key technique forall these improvements is the development of an automatic “bridge” between the graphic and the algebraic counterparts of theprogram (calling on an external computer algebra system).

@article{keyhere, abstract = {The goal of this paper is to report on a prototype of a new dynamic geometry software, GDI (Geometra Dinmica Inteligente). We will describe how, apart from being a standard dynamic environment for elementary geometry, GDI addresses some key problemsof the dynamic geometry paradigm, by including enhanced tools for loci generation and automatic proving, plus another distinguishedfeature, namely, a discovery option, allowing the user to find complementary hypotheses for arbitrary statements to become true. The key technique forall these improvements is the development of an automatic “bridge” between the graphic and the algebraic counterparts of theprogram (calling on an external computer algebra system).}, added-at = {2008-05-22T12:38:23.000+0200}, author = {Botana, Francisco and Recio, Tomás}, biburl = {https://www.bibsonomy.org/bibtex/22cd1ccfae25dc97b18711248a7de8389/toni}, interhash = {7056fa26f7f23e2f16c596f3600f5395}, intrahash = {2cd1ccfae25dc97b18711248a7de8389}, journal = {Automated Deduction in Geometry}, keywords = {CAS dynamic geometry pt}, pages = {92--110}, timestamp = {2008-06-05T14:36:08.000+0200}, title = {Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach}, url = {http://dx.doi.org/10.1007/11615798_7}, year = 2006 }