Adding remote computational capabilities to Dynamic Geometry Systems

作者：Escribano Jesus^*; Botana Francisco; Abanades Miguel A

来源：Mathematics and Computers in Simulation, 2010, 80(6): 1177-1184.

DOI：10.1016/j.matcom.2008.04.019

• Dynamic geometry
• Automatic deduction
• Internet accessible mathematical computation

A Dynamic Geometry System (DGS) is a computer application that allows the exact draw and dynamic manipulation of geometric constructions DGS have been the paradigm of new technologies applied to Math education. hut some authors have claimed that some symbolic capabilities should be added to this systems We present an example of communication between the commercial DGS Calm. The Geometer's Sketchpad and Cinderella and two Compute, 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.

• 出版日期2010-2