Automatically building diagrams for olympiad geometry problems

DOI10.1007/978-3-030-79876-5_33MaRDI QIDQ2055892zbMATH OpenOpenAlexFDO

Authors Ryan Krueger, Jesse Michael Han, Daniel Selsam

Publication date 1 December 2021

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2012.02590

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• Automated generation of geometric theorems from images of diagrams
• Automated generation of illustrated proofs in geometry and beyond
• Publication:4946075
• Towards an Automated Geometer
• Automated reasoning in geometry
• Towards an automatic geometer
• scientific article; zbMATH DE number 972598
• Automatted geometry theorem proving

Cites work

• scientific article; zbMATH DE number 1961548 (Why is no real title available?)
• Automated Deduction in Geometry
• Automated Deduction in Geometry
• Automatically building diagrams for olympiad geometry problems
• GCLC -- a tool for constructive Euclidean geometry and more than that
• Solving geometry problems using a combination of symbolic and numerical reasoning
• The Cinderella.2 Manual

Cited in

(2)

• GMBL
• Automatically building diagrams for olympiad geometry problems

Describes a project that uses

Uses Software

• Cinderella
• GCLC
• Maple
• MMP/Geometer
• SymPy
• GEOTHER 1.1
• Geometer's Sketchpad
• SciPy
• TensorFlow
• Penrose

This page was built for publication: Automatically building diagrams for olympiad geometry problems

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