Please use this identifier to cite or link to this item: https://research.matf.bg.ac.rs/handle/123456789/503
DC FieldValueLanguage
dc.contributor.authorBotana, Franciscoen_US
dc.contributor.authorHohenwarter, Markusen_US
dc.contributor.authorJaničić, Predragen_US
dc.contributor.authorKovács, Zoltánen_US
dc.contributor.authorPetrović, Ivanen_US
dc.contributor.authorRecio, Tomásen_US
dc.contributor.authorWeitzhofer, Simonen_US
dc.date.accessioned2022-08-13T10:14:41Z-
dc.date.available2022-08-13T10:14:41Z-
dc.date.issued2015-06-15-
dc.identifier.issn01687433en
dc.identifier.urihttps://research.matf.bg.ac.rs/handle/123456789/503-
dc.description.abstractGeoGebra 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.en
dc.relation.ispartofJournal of Automated Reasoningen
dc.subjectAutomatic theorem provingen
dc.subjectIntelligent tutoring systemsen
dc.subjectInteractive learning environmentsen
dc.subjectSecondary educationen
dc.titleAutomated Theorem Proving in GeoGebra: Current Achievementsen_US
dc.typeArticleen_US
dc.identifier.doi10.1007/s10817-015-9326-4-
dc.identifier.scopus2-s2.0-84937759211-
dc.identifier.urlhttps://api.elsevier.com/content/abstract/scopus_id/84937759211-
dc.contributor.affiliationInformatics and Computer Scienceen_US
dc.relation.firstpage39en
dc.relation.lastpage59en
dc.relation.volume55en
dc.relation.issue1en
item.fulltextNo Fulltext-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.cerifentitytypePublications-
item.grantfulltextnone-
item.openairetypeArticle-
crisitem.author.deptInformatics and Computer Science-
crisitem.author.orcid0000-0001-8922-4948-
Appears in Collections:Research outputs
Show simple 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.