Discovering Geometry Theorems in Regular Polygons

DOI10.1007/978-3-319-99957-9_10MaRDI QIDQ6108821zbMATH OpenOpenAlexFDO

Authors

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

automated theorem provingcomputer algebraGeoGebraregular polygonsWebAssembly

Mathematics Subject Classification ID

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

Recommendations

• Finding and proving new geometry theorems in regular polygons with dynamic geometry and automated reasoning tools
• Automated detection of interesting properties in regular polygons
• Geometric problems solved with the help of the regular polygon of 18 vertices
• scientific article; zbMATH DE number 1912102
• scientific article; zbMATH DE number 5166749

Cites work

• A Note on Trigonometric Algebraic Numbers
• Angle Trisection, the Heptagon, and the Triskaidecagon
• Automatic discovery of theorems in elementary geometry
• scientific article; zbMATH DE number 976326 (Why is no real title available?)
• On the notion of interestingness in automated mathematical discovery
• The Minimal Polynomial of cos(2π/n)
• Using Gröbner bases to reason about geometry problems

Cited in

(6)

• Finding and proving new geometry theorems in regular polygons with dynamic geometry and automated reasoning tools
• Automated detection of interesting properties in regular polygons
• Inductive study on the re-organization of regular polygons in school mathematics
• Automated discovery of angle theorems
• A program to create new geometry proof problems
• A method for the automated discovery of angle theorems

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6108821)