Sciweavers

IWAR   1992 International Workshop on Augmented Reality
Wall of Fame | Most Viewed IWAR-1992 Paper
IWAR
1992
14 years 1 months ago
Automated Reasoning in Differential Geometry and Mechanics Using Characteristic Method
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...
Shang-Ching Chou, Xiao-Shan Gao
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source230