Deciding geometric properties symbolically in GeoGebra

Ver/Abrir
Identificadores
URI: http://hdl.handle.net/10902/13298
ISSN: 2313-1640
Compartir
Estadísticas
Ver Estadísticas
Google Scholar
Registro completo
Mostrar el registro completo DC
Autoría
Hohenwarter, Markus; Kovács, Zoltán; Recio Muñiz, TomásAutoridad Unican
Fecha
2017-03-08
Derechos
Atribución-NoComercial-SinDerivadas 3.0 España
Publicado en
R&E source: Open Online Journal for Research and Education, Special Issue #6, March 2017
Editorial
Pädagogische Hochschule für Niederösterreich
Resumen/Abstract
It is well known that Dynamic Geometry (DGS) software systems can be useful tools in the teaching/learning of reasoning and proof. GeoGebra 5.0 was recently extended by an Automated Theorem Prover (ATP) subsystem that is able to compute proofs of Euclidean geometry statements. Free availability and portability of GeoGebra has made it possible to harness these novel techniques on tablets, smartphones and computers. Then, we think it is urgently necessary to address the new challenges posed by the availability of geometric ATP?s to millions of students worldwide.
Colecciones a las que pertenece
Atribución-NoComercial-SinDerivadas 3.0 EspañaExcepto si se señala otra cosa, la licencia del ítem se describe como Atribución-NoComercial-SinDerivadas 3.0 España