1 search results - page 1 / 1 » iwar 1992 |
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...