Literaturnachweis - Detailanzeige
Autor/inn/en | Kovács, Zoltán; Recio, Tomás; Vélez, M. Pilar |
---|---|
Titel | Using Automated Reasoning Tools in GeoGebra in the Teaching and Learning of Proving in Geometry |
Quelle | In: International Journal for Technology in Mathematics Education, 25 (2018) 2, S.33-50 (18 Seiten)Infoseite zur Zeitschrift
PDF als Volltext |
Sprache | englisch |
Dokumenttyp | gedruckt; online; Zeitschriftenaufsatz |
ISSN | 1744-2710 |
Schlagwörter | Geometry; Mathematics Instruction; Teaching Methods; Comparative Analysis; Computer Software; Learning Activities; Computer Assisted Instruction; Generalization; Validity; Mathematical Logic |
Abstract | This document introduces, describes and exemplifies the technical features of some recently implemented automated reasoning tools in the dynamic mathematics software GeoGebra. The new tools are based on symbolic computation algorithms, allowing the automatic and rigorous proving and discovery of theorems on constructed geometric figures. Some examples of the use in the classroom of such commands are provided, including one describing how intuitive handling of GeoGebra automated reasoning tools may result in unexpected outputs. In all cases the emphasis is made in the potential utility of these tools as a guiding stick to foster student activities (exploration, reasoning) in the learning of elementary geometry. Moreover, a collection of appendices describing other, more sophisticated, low-level GeoGebra tools (Prove, ProveDetails), as well as instructions on how to obtain the translation of GeoGebra commands into other languages, and details about debugging, are included. (As Provided). |
Anmerkungen | Research Information Ltd. Grenville Court, Britwell Road, Burnham, Buckinghamshire, SL1 8DF, UK. Tel: +44-1628-600499; Fax: +44-1628-600488; e-mail: info@researchinformation.co.uk; Web site: http://www.researchinformation.co.uk/time.php |
Erfasst von | ERIC (Education Resources Information Center), Washington, DC |
Update | 2024/1/01 |