Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

10

IJCAI
1989

favoriteEmaildiscussreport

121views Artificial Intelligence» more IJCAI 1989»

Visual Reasoning in Geometry Theorem Proving

13 years 5 months ago

Visual Reasoning in Geometry Theorem Proving

Download dli.iiit.ac.in

We study the role of visual reasoning as a computationally feasible heuristic tool in geometry problem solving. We use an algebraic notation to represent geometric objects and to manipulate them. We show that this representation captures powerful heuristics for proving geometry theorems, and that it allows a systematic manipulation of geometric features in a manner similar to what may occur in human visual reasoning

Michelle Y. Kim

Real-time Traffic

Feasible Heuristic Tool | Human Visual Reasoning | IJCAI 1989 | IJCAI 2007 | Visual Reasoning |

claim paper

Related Content

» RittWus Decomposition Algorithm and Geometry Theorem Proving

» A Combination of Nonstandard Analysis and Geometry Theorem Proving with Application to New...

» Intelligent understanding of handwritten geometry theorem proving

» Automated Reasoning in Differential Geometry and Mechanics Using Characteristic Method

» Generating Readable Proofs A Heuristic Approach to Theorem Proving With Spider Diagrams

» Proving and Constraint Solving in Computational Origami

» Advanced Geometry Tutor An intelligent tutor that teaches proofwriting with construction

» Towards a Typed Geometry of Interaction

» Computational origami environment on the web

Post Info
More Details (n/a)

Added	07 Nov 2010
Updated	07 Nov 2010
Type	Conference
Year	1989
Where	IJCAI
Authors	Michelle Y. Kim

Comments (0)