Dynamic or interactive Geometry software (DGS) is the mathematical version of vector based drawing software: the objects (points, lines, circles, conics, polygons, etc.) are both graphical and mathematical entities. This allows adding relations between the objects that govern their behavior. Thus, DGS is used as an input tool for constructions, as opposed to simple drawings. The additional information that is present in a construction can be used to greatly enhance the usability of DGS. We show how automatic theorem proving can be used to
Finally we discuss the various possibilities of transforming the mathematical tool DGS into an educational tool. Here, automatic theorem proving is used to analyze user actions and to react properly.
| [PDF] | ATP_UI_Cinderella_MathUI04.pdf | Article (844 Kb, 12 pages). | |
| [PDF] | ATP_in_Cinderella_slides_MathUI04.pdf | Slides of presentation (1.3 Mb, 16 slides). |
| Back to MathUI proceedings | Proceedings last updated on Mon Sep 20 2004 |