文章基本信息

标题：A Method for Proving Theorems in Differential Geometry and Mechanics
本地全文：下载
作者：Dongming Wang
期刊名称：Journal of Universal Computer Science
印刷版ISSN：0948-6968
出版年度：1995
卷号：1
期号：9
页码：658-673
出版社：Graz University of Technology and Know-Center
摘要：A zero decomposition algorithm is presented and used to devise a method for proving theorems automatically in differential geometry and mechanics. The method has been implemented and its practical efficiency is demonstrated by several non-trivial examples including Bertrand s theorem, Schell s theorem and Kepler-Newton s laws.