4 search results - page 1 / 1 » Mechanical Theorem Proving in Tarski's Geometry |
ADG
2006
Springer
14 years 4 months ago
2006
Springer
ADG
2004
Springer
14 years 4 months ago
2004
Springer
IWAR
1992
14 years 1 days 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...
FCSC
2007
13 years 10 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...