Automated detection of interesting properties in regular polygons

DOI10.1007/S11786-020-00491-ZMaRDI QIDQ1995811zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 25 February 2021

Published in Mathematics in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s11786-020-00491-z

zbMATH Keywords

\( \pi \)approximationsautomated theorem provingcomputer algebraeliminationgeogebraminimal polynomialsregular polygonswebassembly

Mathematics Subject Classification ID

Euclidean geometries (general) and generalizations (51M05) Polyhedra and polytopes; regular figures, division of spaces (51M20) Euclidean analytic geometry (51N20) Algebraic geometry methods for problems in mechanics (70G55)

Review text

The author gives an automated way of a discovery of a large number of new geometry theorems on regular polygons.

Recommendations

• Finding and proving new geometry theorems in regular polygons with dynamic geometry and automated reasoning tools
• Discovering Geometry Theorems in Regular Polygons
• An introduction to automated discovery in geometry through symbolic computation
• scientific article; zbMATH DE number 1912102
• Towards an Automated Geometer

Cites work

• A deductive database approach to automated geometry theorem proving and discovering
• Angle Trisection, the Heptagon, and the Triskaidecagon
• Automated generation of geometric theorems from images of diagrams
• Automatic discovery of theorems in elementary geometry
• Chebyshev polynomials and the minimal polynomial of \(\cos(2\pi/n)\)
• Detecting truth, just on parts
• Discovering Geometry Theorems in Regular Polygons
• Finding and proving new geometry theorems in regular polygons with dynamic geometry and automated reasoning tools
• scientific article; zbMATH DE number 3898269 (Why is no real title available?)
• scientific article; zbMATH DE number 3926284 (Why is no real title available?)
• scientific article; zbMATH DE number 976326 (Why is no real title available?)
• On the notion of interestingness in automated mathematical discovery
• The Heptagonal Triangle
• The Minimal Polynomial of cos(2π/n)
• Using Gröbner bases to reason about geometry problems

Cited in

(5)

• Finding and proving new geometry theorems in regular polygons with dynamic geometry and automated reasoning tools
• On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons
• Discovering Geometry Theorems in Regular Polygons
• Supporting proving and discovering geometric inequalities in GeoGebra by using Tarski
• A simple proof of correctness of folding the regular heptagon

Describes a project that uses

Uses Software

• GeoGebra

This page was built for publication: Automated detection of interesting properties in regular polygons

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