Automatically building diagrams for olympiad geometry problems

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

Authors: Ryan Krueger, Jesse Michael Han, Daniel Selsam 

Publication date: 1 December 2021

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

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

Mathematics Subject Classification ID

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

Cites Work

• The Cinderella.2 Manual
• GCLC -- a tool for constructive Euclidean geometry and more than that
• Automated Deduction in Geometry
• Automated Deduction in Geometry
• Title not available (Why is that?)
• Automatically building diagrams for olympiad geometry problems
• Solving geometry problems using a combination of symbolic and numerical reasoning

Cited In (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

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)