Automated reasoning tools in GeoGebra discovery-Reference-Cited by-同舟云学术

Automated reasoning tools in GeoGebra discovery

Published:2021-06 Issue:2 Volume:55 Page:39-43
ISSN:1932-2240
Container-title:ACM Communications in Computer Algebra
language:en
Short-container-title:ACM Commun. Comput. Algebra

Author:

Kovács Zoltán¹,Recio Tomás²,Vélez M. Pilar²

Affiliation:

1. The Priv. Univ. Coll. of Educ. of the Dioc. of Linz, Linz, Austria

2. Univ. Antonio de Nebrija, Madrid, Spain

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.

Publisher

Association for Computing Machinery (ACM)

Link

https://dl.acm.org/doi/pdf/10.1145/3493492.3493495

Reference16 articles.

1. Development of automatic reasoning tools in GeoGebra

2. Automated Theorem Proving in GeoGebra: Current Achievements

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Geometric Loci and ChatGPT: Caveat Emptor!;Computation;2024-02-07

2. The Locus Story of a Rocking Camel in a Medical Center in the City of Freistadt;Electronic Proceedings in Theoretical Computer Science;2024-01-22

3. Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry;Electronic Proceedings in Theoretical Computer Science;2024-01-22

4. Computing with Tarski formulas and semi-algebraic sets in a web browser;Journal of Symbolic Computation;2024-01

5. Faithful Real-Time Animation of Parametrized (Semi-) Algebraic Expressions via Cylindrical Algebraic Decomposition;ACM Communications in Computer Algebra;2023-06