Solving Geometry Problems Using a Combination of Symbolic and Numerical Reasoning

DOI10.1007/978-3-642-45221-5_31zbMath1407.68513OpenAlexW1602510369MaRDI QIDQ2870147

Shachar Itzhaky, Sumit Gulwani, Mooly Sagiv

Publication date: 17 January 2014

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-45221-5_31

zbMATH Keywords

geometrysynthesisreasoning

Mathematics Subject Classification ID

Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computer-assisted instruction, e-learning (aspects of mathematics education) (97U50) Descriptive geometry (educational aspects) (97G80)

Related Items (1)

Automatically building diagrams for olympiad geometry problems

This page was built for publication: Solving Geometry Problems Using a Combination of Symbolic and Numerical Reasoning