Solving geometry problems using a combination of symbolic and numerical reasoning

DOI10.1007/978-3-642-45221-5_31MaRDI QIDQ2870147zbMATH OpenOpenAlexFDO

Authors Shachar Itzhaky, Sumit Gulwani, Mooly Sagiv, Neil Immerman

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

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

Recommendations

• Using geometric rewrite rules for solving geometric problems symbolically
• Combinatorial approaches to geometrie constraint solving: problems, progress, and directions
• Realization of automatic reasoning system of geometry based on point-eliminating method
• scientific article; zbMATH DE number 1149429
• scientific article; zbMATH DE number 67455

Cited in

(5)

• Automatically building diagrams for olympiad geometry problems
• scientific article; zbMATH DE number 778202 (Why is no real title available?)
• Using geometric rewrite rules for solving geometric problems symbolically
• Learning to solve geometric construction problems from images
• Finding the Symbolic Solution of a Geometric Problem Through Numerical Computations

This page was built for publication: Solving geometry problems using a combination of symbolic and numerical reasoning

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