1 search results - page 1 / 1 » iwar 1992 |
178
click to vote
IWAR
1992
15 years 4 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...