Visual Reasoning in Geometry Theorem Proving
Abstract
We study the role of visual reasoning as a computationally feasible heuristic tool in ge ometry problem solving. We use an algebraic notation to represent geometric objects and to manipulate them. We show that this repre sentation captures powerful heuristics for proving geometry theorems, and that it allows a systematic manipulation of geometric fea tures in a manner similar to what may occur in human visual reasoning 1
Cite
Text
Kim. "Visual Reasoning in Geometry Theorem Proving." International Joint Conference on Artificial Intelligence, 1989.Markdown
[Kim. "Visual Reasoning in Geometry Theorem Proving." International Joint Conference on Artificial Intelligence, 1989.](https://mlanthology.org/ijcai/1989/kim1989ijcai-visual/)BibTeX
@inproceedings{kim1989ijcai-visual,
title = {{Visual Reasoning in Geometry Theorem Proving}},
author = {Kim, Michelle Y.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1989},
pages = {1617-1622},
url = {https://mlanthology.org/ijcai/1989/kim1989ijcai-visual/}
}