AI Chat AI Image Generator AI Video Text to Speech

Towards Automated Discovery of Geometrical Theorems in GeoGebra

07/24/2020

∙

by Zoltán Kovács, et al.

∙

∙

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.

Zoltán Kovács
13 publications
Jonathan H. Yu
2 publications

research

∙ 02/08/2022

Automated Discovery of Geometrical Theorems in GeoGebra

We describe a prototype of a new experimental GeoGebra command and tool,...

0 Zoltán Kovács, et al. ∙

research

∙ 06/06/2014

Automated Generation of Geometric Theorems from Images of Diagrams

We propose an approach to generate geometric theorems from electronic im...

0 Xiaoyu Chen, et al. ∙

research

∙ 01/03/2022

A Method for the Automated Discovery of Angle Theorems

The Naive Angle Method, used by Geometry Expressions for solving problem...

0 Philip Todd, et al. ∙

research

∙ 03/31/2016

Building the Signature of Set Theory Using the MathSem Program

Knowledge representation is a popular research field in IT. As mathemati...

0 Andrey Luxemburg, et al. ∙

research

∙ 12/09/2013

A state vector algebra for algorithmic implementation of second-order logic

We present a mathematical framework for mapping second-order logic relat...

0 Dmitry Lesnik, et al. ∙

research

∙ 03/26/2023

Dual-Quaternion Julia Fractals

Fractals offer the ability to generate fascinating geometric shapes with...

0 Ben Kenwright, et al. ∙

research

∙ 06/01/2023

Representation Theorems Obtained by Miningacross Web Sources for Hints

A representation theorem relates different mathematical structures by pr...

0 Marco B. Caminati, et al. ∙