Automatically building diagrams for olympiad geometry problems

DOI10.1007/978-3-030-79876-5_33OpenAlexW3185710702MaRDI QIDQ2055892

Daniel Selsam, Jesse Michael Han, Ryan Krueger

Publication date: 1 December 2021

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)

Related Items (2)

GMBL ⋮ Automatically building diagrams for olympiad geometry problems

Uses Software

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

Cites Work

• Automatically building diagrams for olympiad geometry problems
• Solving Geometry Problems Using a Combination of Symbolic and Numerical Reasoning
• The Cinderella.2 Manual
• GCLC — A Tool for Constructive Euclidean Geometry and More Than That
• Automated Deduction in Geometry
• Automated Deduction in Geometry
• Unnamed Item

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