Visual reasoning in geometry theorem proving
Michelle Y. Kim · 1989
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