Automated Generation of Triangle Geometry Theorems

2021/10/18 by Alexander Skutin, Skutin, Alexander
Engineering · Computer Science · #Advanced Numerical Analysis Techniques #Advanced Theoretical and Applied Studies in Material Sciences and Geometry #Mathematics, Computing, and Information Processing

paper · pdf · doi:10.48550/arxiv.2110.09511

Abstract

In this article, we introduce an algorithm for automatic generation and categorization of triangle geometry theorems.

Related

• Automated Proofs in Geometry : Computing Upper Bounds for the Heilbronn Problem for Triangles
• Towards Understanding Triangle Construction Problems
• The Geometry of Triangles
• Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System
• Automated Generation of Geometric Theorems from Images of Diagrams