Titel | Using Automatic Theorem Proving to Improve the Usability of Geometry Software |
Publication Type | Conference Paper |
Year of Publication | 2004 |
Authors | Kortenkamp, U., & Richter-Gebert J. |
Editor | Libbrecht, P. |
Conference Name | Proceedings of MathUI 2004 |
Schlüsselwörter | refereed |
Abstract | 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 remove redundant elements in a construction that obstruct a smooth work flow clarify the semantics of user actions, and improve the graphical rendering of elements. 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. |
URL | http://kortenkamps.net/papers/2004/ATP-UI-article.pdf |
- Projects
- ACAT-Theory
- Cinderella
- DZLM
- Enhancing Geometric Creativity
- FUNTAC
- Intergeo
- iPads im Matheunterricht
- KETCindy
- Klic
- Madipedia
- Mathematical Creativity Squared
- multiplex-r
- ODS
- Place Value Chart
- ProFFi-M
- SAiL-M
- Studie Bürgerkompetenz Rechnen
- VCQ
- Visage
- Winkel
- Zahlenmauern und Klammergebirge
- Innovative Hochschule Bildungscampus Golm
- Apps
- People
- Publications
- Partners
- Humboldt-Universität zu Berlin (Didaktik)
- Martin Luther University Halle-Wittenberg
- Montessori Schulzentrum Leipzig
- Pädagogische Hochschule Ludwigsburg
- Pädagogische Hochschule Schwäbisch Gmünd
- Pädagogische Hochschule Weingarten
- Technische Universität München (Fakultät für Mathematik)
- Toho University
- Universität des Saarlandes (Primarstufe)
- Universität des Saarlandes (Sekundarstufe)
- University of Potsdam
- Blog