58 search results - page 1 / 12 » Mechanical Theorem Proving in Computational Geometry |
ADG
2004
Springer
13 years 10 months ago
2004
Springer
ADG
2006
Springer
13 years 10 months ago
2006
Springer
IJCAI
1989
13 years 5 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 ...
FCSC
2007
13 years 4 months ago
2007
The aim of mathematics mechanization is to develop symbolic algorithms for manipulating mathematical objects, proving and discovering theorems in a mechanical way. This paper gives...
IWAR
1992
13 years 5 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...