11 search results - page 1 / 3 » Visual Reasoning in Geometry Theorem Proving |
IJCAI
1989
13 years 6 months ago
1989
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 ...
CADE
1990
Springer
13 years 8 months ago
1990
Springer
CADE
1998
Springer
13 years 9 months ago
1998
Springer
Abstract. The theorem prover Isabelle is used to formalise and reproduce some of the styles of reasoning used by Newton in his Principia. The Principia's reasoning is resolute...
IUI
2010
ACM
13 years 11 months ago
2010
ACM
Computer-based geometry systems have been widely used for teaching and learning, but largely based on mouse-andkeyboard interaction, these systems usually require users to draw fi...
IWAR
1992
13 years 6 months ago
1992
This paper reports the study of properties of the curve pairs of the Bertrand types using our automated reasoning program based on Wu's method of mechanical theorem proving fo...