| dc.contributor.author | Hohenwarter, Markus | |
| dc.contributor.author | Kovács, Zoltán | |
| dc.contributor.author | Recio Muñiz, Tomás | |
| dc.contributor.other | Universidad de Cantabria | es_ES |
| dc.date.accessioned | 2018-03-14T11:28:21Z | |
| dc.date.available | 2018-03-14T11:28:21Z | |
| dc.date.issued | 2017-03-08 | |
| dc.identifier.issn | 2313-1640 | |
| dc.identifier.uri | http://hdl.handle.net/10902/13298 | |
| dc.description.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. | es_ES |
| dc.format.extent | 4 p. | es_ES |
| dc.language.iso | eng | es_ES |
| dc.publisher | Pädagogische Hochschule für Niederösterreich | es_ES |
| dc.rights | Atribución-NoComercial-SinDerivadas 3.0 España | es_ES |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ | * |
| dc.source | R&E source: Open Online Journal for Research and Education, Special Issue #6, March 2017 | es_ES |
| dc.title | Deciding geometric properties symbolically in GeoGebra | es_ES |
| dc.type | info:eu-repo/semantics/article | es_ES |
| dc.rights.accessRights | openAccess | es_ES |
| dc.type.version | publishedVersion | es_ES |
Excepto si se señala otra cosa, la licencia del ítem se describe como Atribución-NoComercial-SinDerivadas 3.0 España
