Solving geometry problems using a combination of symbolic and numerical reasoning
DOI10.1007/978-3-642-45221-5_31zbMATH Open1407.68513OpenAlexW1602510369MaRDI QIDQ2870147FDOQ2870147
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
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
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)
Cited In (5)
- Using geometric rewrite rules for solving geometric problems symbolically
- Title not available (Why is that?)
- Learning to solve geometric construction problems from images
- Finding the Symbolic Solution of a Geometric Problem Through Numerical Computations
- Automatically building diagrams for olympiad geometry problems
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)
