Discovering Geometry Theorems in Regular Polygons

DOI10.1007/978-3-319-99957-9_10zbMath1515.68345OpenAlexW2888394695MaRDI QIDQ6108821

No author found.

Publication date: 30 June 2023

Published in: Artificial Intelligence and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-99957-9_10

zbMATH Keywords

computer algebraautomated theorem provingGeoGebraregular polygonsWebAssembly

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Software, source code, etc. for problems pertaining to geometry (51-04) Software, source code, etc. for problems pertaining to algebraic geometry (14-04) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Computer assisted proofs of proofs-by-exhaustion type (68V05)

Related Items (3)

Automated discovery of angle theorems ⋮ A program to create new geometry proof problems ⋮ Automated detection of interesting properties in regular polygons

Cites Work

• Unnamed Item
• Using Gröbner bases to reason about geometry problems
• Automatic discovery of theorems in elementary geometry
• The Minimal Polynomial of cos(2π/n)
• Angle Trisection, the Heptagon, and the Triskaidecagon
• On the notion of interestingness in automated mathematical discovery
• A Note on Trigonometric Algebraic Numbers

This page was built for publication: Discovering Geometry Theorems in Regular Polygons