Skip to main content
Conference ProceedingsOPEN ACCESS

Automated Discovery of Geometrical Theorems in GeoGebra

Electronic Proceedings in Theoretical Computer Science, EPTCS (2022) 354 1-12
DOI: 10.4204/EPTCS.354.1
2Citations
Citations of this article
11Readers
Mendeley users who have this article in their library.

Abstract

We describe a prototype of a new experimental GeoGebra command and tool, Discover, that analyzes geometric figures for salient patterns, properties, and theorems. This tool is a basic implementation of automated discovery in elementary planar geometry. The paper focuses on the mathematical background of the implementation, as well as methods to avoid combinatorial explosion when storing the interesting properties of a geometric figure.

References Powered by Scopus

The complexity of the word problems for commutative semigroups and polynomial ideals

Advances in Mathematics
355Citations
N/AReaders
Get full text

Solving geometry problems: Combining text and diagram interpretation

Conference Proceedings - EMNLP 2015: Conference on Empirical Methods in Natural Language Processing
146Citations
N/AReaders
Get full text

An introduction to Java Geometry expert(extended abstract)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
39Citations
N/AReaders
Get full text
View more at Scopus

Cited by Powered by Scopus

FGeo-SSS: A Search-Based Symbolic Solver for Human-like Automated Geometric Reasoning

Symmetry
1Citations
N/AReaders
Get full text

Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry

Electronic Proceedings in Theoretical Computer Science, EPTCS
1Citations
N/AReaders
Get full text
View more at Scopus

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Cite

CITATION STYLE

APA

Kovács, Z., & Yu, J. H. (2022). Automated Discovery of Geometrical Theorems in GeoGebra. In Electronic Proceedings in Theoretical Computer Science, EPTCS (Vol. 354, pp. 1–12). Open Publishing Association. https://doi.org/10.4204/EPTCS.354.1

Readers' Seniority

Tooltip

PhD / Post grad / Masters / Doc 3

60%

Professor / Associate Prof. 2

40%

Readers' Discipline

Tooltip

Mathematics 4

67%

Social Sciences 2

33%

Save time finding and organizing research with Mendeley

Sign up for free