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

computer algebraeliminationapproximationsautomated theorem provingminimal polynomialsregular polygons\( \pi \)geogebrawebassembly

Mathematics Subject Classification ID

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

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

• 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?)
• 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
• 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

(4)

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

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)