Please use this identifier to cite or link to this item:
https://research.matf.bg.ac.rs/handle/123456789/503
Title: | Automated Theorem Proving in GeoGebra: Current Achievements | Authors: | Botana, Francisco Hohenwarter, Markus Janičić, Predrag Kovács, Zoltán Petrović, Ivan Recio, Tomás Weitzhofer, Simon |
Affiliations: | Informatics and Computer Science | Keywords: | Automatic theorem proving;Intelligent tutoring systems;Interactive learning environments;Secondary education | Issue Date: | 15-Jun-2015 | Journal: | Journal of Automated Reasoning | Abstract: | GeoGebra is an open-source educational mathematics software tool, with millions of users worldwide. It has a number of features (integration of computer algebra, dynamic geometry, spreadsheet, etc.), primarily focused on facilitating student experiments, and not on formal reasoning. Since including automated deduction tools in GeoGebra could bring a whole new range of teaching and learning scenarios, and since automated theorem proving and discovery in geometry has reached a rather mature stage, we embarked on a project of incorporating and testing a number of different automated provers for geometry in GeoGebra. In this paper, we present the current achievements and status of this project, and discuss various relevant challenges that this project raises in the educational, mathematical and software contexts. We will describe, first, the recent and forthcoming changes demanded by our project, regarding the implementation and the user interface of GeoGebra. Then we present our vision of the educational scenarios that could be supported by automated reasoning features, and how teachers and students could benefit from the present work. In fact, current performance of GeoGebra, extended with automated deduction tools, is already very promising—many complex theorems can be proved in less than 1 second. Thus, we believe that many new and exciting ways of using GeoGebra in the classroom are on their way. |
URI: | https://research.matf.bg.ac.rs/handle/123456789/503 | ISSN: | 01687433 | DOI: | 10.1007/s10817-015-9326-4 |
Appears in Collections: | Research outputs |
Show full item record
SCOPUSTM
Citations
78
checked on Dec 22, 2024
Page view(s)
10
checked on Dec 24, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.