A software tool for the investigation of plane loci
Mathematics and Computers in Simulation
GEOTHER: A Geometry Theorem Prover
CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
A web-based intelligent system for geometric discovery
ICCS'03 Proceedings of the 1st international conference on Computational science: PartI
Towards solving the dynamic geometry bottleneck via a symbolic approach
ADG'04 Proceedings of the 5th international conference on Automated Deduction in Geometry
A bridge between dynamic geometry and computer algebra
Mathematical and Computer Modelling: An International Journal
Using free open source software for intelligent geometric computing
ICCSA'11 Proceedings of the 2011 international conference on Computational science and its applications - Volume Part IV
CICM'13 Proceedings of the 2013 international conference on Intelligent Computer Mathematics
Automatic deduction in (dynamic) geometry: Loci computation
Computational Geometry: Theory and Applications
Hi-index | 0.00 |
A Dynamic Geometry System (DGS) is a computer application that allows the exact drawing and dynamic manipulation of geometric constructions. DGS have been the paradigm of new technologies applied to Math education, but some authors have claimed that some symbolic capabilities should be added to this systems. We present an example of communication between the commercial DGS Cabri, The Geometer's Sketchpad and Cinderella and two Computer Algebra Systems (CAS), Mathematica and CoCoA. The tool is a web application designed to symbolically process locus, proof and discovery tasks on geometric diagrams. Named LAD (Locus-Assertion-Discovery), it is a remote add-on for the three DGS. LAD is a prototype oriented to research users. We also describe LADucation, a one-click educational version of LAD. By just uploading the file generated by the considered DGS, graphs and equations of geometric loci are computed.