Show simple item record

dc.contributor.authorKovács, Zoltán
dc.contributor.authorRecio Muñiz, Tomás 
dc.contributor.authorVélez, M. Pilar
dc.contributor.otherUniversidad de Cantabriaes_ES
dc.date.accessioned2019-03-07T14:17:09Z
dc.date.available2019-06-30T02:45:12Z
dc.date.issued2018
dc.identifier.issn1744-2710
dc.identifier.issn2045-2519
dc.identifier.otherMTM2017-88796- Pes_ES
dc.identifier.urihttp://hdl.handle.net/10902/15836
dc.description.abstractABSTRACT: 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.es_ES
dc.description.sponsorshipWork partially supported by the grant MTM2017-88796-P from the Spanish MINECO and the ERDF (European Regional Development Fund).es_ES
dc.format.extent18 p.es_ES
dc.language.isoenges_ES
dc.publisherResearch Informationes_ES
dc.rights© Research Informationes_ES
dc.sourceInternational Journal of Technology in Mathematics Education Vol 25, No 2es_ES
dc.titleUsing Automated Reasoning Tools in GeoGebra in the Teaching and Learning of Proving in Geometryes_ES
dc.typeinfo:eu-repo/semantics/articlees_ES
dc.relation.publisherVersion10.1564/tme_v25.2.03es_ES
dc.rights.accessRightsopenAccesses_ES
dc.identifier.DOI10.1564/tme_v25.2.03
dc.type.versionpublishedVersiones_ES


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record