A Method for Proving Theorems in Differential Geometry and Mechanics
Дата
Авторы
Wang,Dongming
Journal Title
Journal ISSN
Volume Title
Издатель
Journal of Universal Computer Science
Аннотация
Описание
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.
Ключевые слова
Differential geometry , mechanics , polynomial elimination , theorem proving , triangular system , zero decomposition