AUTOMATED REASONING IN DIFFERENTIAL GEOMETRY AND MECHANICS USING THE CHARACTERISTIC METHOD Ⅳ. Bertrand Curves |
| |
作者姓名: | CHOU Shangching GAO Xiaoshan |
| |
作者单位: | CHOU Shangching;GAO Xiaoshan Department of Computer Science,the Wichita State University,Wichita,KS 67260,UsA Institute of Systems Science,Academia Sinica,Beijing 100080,China |
| |
基金项目: | The work reported here was supported in part by the NSF Grant CCR-8702108. |
| |
摘 要: | This paper reports the study of properties of the curve pairs of the Bertrandtypes using our automated reasoning program based on Wu's method of mechanical the-orem proving for differential geometry. A complete list of results about Bertrand curvesin metric and affine spaces is derived mechanically. The list includes most of the knownresults of various Bertrand curves. We also derive some new results about Bertrand curves.
|
本文献已被 CNKI 等数据库收录! |