research-article

Automated reasoning tools in GeoGebra discovery

Authors:

Zoltán Kovács,

M. Pilar VélezAuthors Info & Claims

ACM Communications in Computer Algebra, Volume 55, Issue 2

Pages 39 - 43

https://doi.org/10.1145/3493492.3493495

Published: 20 October 2021 Publication History

Abstract

We present some current achievements in the software package GeoGebra Discovery that provides several symbolic tools and commands to mechanically discover (and verify symbolically) relationships on planar geometry constructions. Our presentation includes the novel Discover tool and command, the Relation tool and command, and the Compare command. Our proposal successfully makes the cycle 'conjecturing-checking-proving' in elementary geometry even more accessible for general users, focusing not only on educational uses but research as well.

References

[1]

M. Abánades, F. Botana, Z. Kovács, T. Recio, and C. Sólyom-Gecse. Development of automatic reasoning tools in GeoGebra. ACM Commun. Comput. Algebra, 50(3):85--88, 11 2016.

Digital Library

[2]

F. Botana, M. Hohenwarter, P. Janičić, Z. Kovács, I. Petrović, T. Recio, and S. Weitzhofer. Automated theorem proving in GeoGebra: Current achievements. Journal of Automated Reasoning, 55(1):39--59, 2015.

Digital Library

[3]

F. Botana, Z. Kovács, and T. Recio. A mechanical geometer. Mathematics in Computer Science, 2020.

[4]

S.-C. Chou. Mechanical Geometry Theorem Proving. Springer Science + Business Media, 1987.

Digital Library

[5]

Z. Kovács. The Relation Tool in GeoGebra 5. In F. Botana and P. Quaresma, editors, Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers, pages 53--71. Springer International Publishing, Cham, 2015.

Digital Library

[6]

Z. Kovács. Automated detection of interesting properties in regular polygons. Mathematics in Computer Science, 14:727--755, 2020.

[7]

Z. Kovács. GeoGebra Discovery. A GitHub project, 07 2020. https://github.com/kovzol/geogebra-discovery.

[8]

Z. Kovács. Discovering geometry via the Discover command in GeoGebra Discovery. Revista de Matemática, Ensino e Cultura - REMATEC, Belém/PA, 16(37):14--25, 01 2021.

[9]

Z. Kovács and B. Parisse. Giac and GeoGebra - improved Gröbner basis computations. In J. Gutierrez, J. Schicho, and M. Weimann, editors, Computer Algebra and Polynomials, Lecture Notes in Computer Science, pages 126--138. Springer, 2015.

[10]

Z. Kovács, T. Recio, and M. P. Vélez. Detecting truth, just on parts. Revista Matemática Complutense, 32:451--474, 2019.

[11]

Z. Kovács, T. Recio, and M. P. Vélez. Merging Maple and GeoGebra Automated Reasoning Tools. Presentation at the Maple 2020 Conference (virtual), 10 2020.

[12]

Z. Kovács and J. H. Yu. Towards automated discovery of geometrical theorems in GeoGebra. CoRR, abs/2007.12447, 2020.

[13]

Z. Magajna. An observation tool as an aid for building proofs. The Electronic Journal of Mathematics and Technology, 5(3):251--260, 2011.

[14]

T. Recio and M. P. Vélez. Automatic discovery of theorems in elementary geometry. Journal of Automated Reasoning, 23(1):63--82, Jul 1999.

Digital Library

[15]

R. Vajda and Z. Kovács. GeoGebra and the realgeom reasoning tool. In P. Fontaine, K. Korovin, I. S. Kotsireas, P. Rümmer, and S. Tourret, editors, PAAR+SC-Square 2020. Workshop on Practical Aspects of Automated Reasoning and Satisfiability Checking and Symbolic Computation Workshop 2020, pages 204--219, 6 2020.

[16]

Z. Ye, S.-C. Chou, and X.-S. Gao. An Introduction to Java Geometry Expert. In Automated Deduction in Geometry, pages 189--195. Springer Science + Business Media, 2011.

Digital Library

Cited By

Käferböck AKovács Z(2024)The Locus Story of a Rocking Camel in a Medical Center in the City of FreistadtElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.398.16398(132-141)Online publication date: 22-Jan-2024
https://doi.org/10.4204/EPTCS.398.16
Quaresma PGraziani PNicoletti S(2024)Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in GeometryElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.398.12398(85-100)Online publication date: 22-Jan-2024
https://doi.org/10.4204/EPTCS.398.12
Botana FRecio T(2024)Geometric Loci and ChatGPT: Caveat Emptor!Computation10.3390/computation1202003012:2(30)Online publication date: 7-Feb-2024
https://doi.org/10.3390/computation12020030
Show More Cited By

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Communications in Computer Algebra

ACM Communications in Computer Algebra Volume 55, Issue 2

June 2021

38 pages

ISSN:1932-2240

DOI:10.1145/3493492

Issue’s Table of Contents

Copyright © 2021 Copyright is held by the owner/author(s).

Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 20 October 2021

Published in SIGSAM-CCA Volume 55, Issue 2

Check for updates

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
80
Total Downloads

Downloads (Last 12 months)14
Downloads (Last 6 weeks)1

Reflects downloads up to 26 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

Käferböck AKovács Z(2024)The Locus Story of a Rocking Camel in a Medical Center in the City of FreistadtElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.398.16398(132-141)Online publication date: 22-Jan-2024
https://doi.org/10.4204/EPTCS.398.16
Quaresma PGraziani PNicoletti S(2024)Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in GeometryElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.398.12398(85-100)Online publication date: 22-Jan-2024
https://doi.org/10.4204/EPTCS.398.12
Botana FRecio T(2024)Geometric Loci and ChatGPT: Caveat Emptor!Computation10.3390/computation1202003012:2(30)Online publication date: 7-Feb-2024
https://doi.org/10.3390/computation12020030
Kovács ZBrown CRecio TVajda R(2024)Computing with Tarski formulas and semi-algebraic sets in a web browserJournal of Symbolic Computation10.1016/j.jsc.2023.102235120:COnline publication date: 1-Jan-2024
https://dl.acm.org/doi/10.1016/j.jsc.2023.102235
Brown CKovács ZRecio T(2023)Faithful Real-Time Animation of Parametrized (Semi-) Algebraic Expressions via Cylindrical Algebraic DecompositionACM Communications in Computer Algebra10.1145/3614408.361441357:2(43-46)Online publication date: 7-Aug-2023
https://dl.acm.org/doi/10.1145/3614408.3614413
Roanes-Lozano ESolano-Macías C(2023)Some Reflections About the Success and Bibliographic Impact of the Dynamic Geometry System GeoGebraMathematics in Computer Science10.1007/s11786-023-00564-917:2Online publication date: 29-May-2023
https://doi.org/10.1007/s11786-023-00564-9

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Issue’s Table of Contents