JUCS - Journal of Universal Computer Science 1(9): 658-673, doi: 10.3217/jucs-001-09-0658
A Method for Proving Theorems in Differential Geometry and Mechanics
expand article infoDongming Wang‡
‡ Institut National Polytechnique de Grenoble, France

Corresponding author: Dongming Wang ( wang@lifia.imag.fr )

© Dongming Wang.
This article is freely available under the J.UCS Open Content License.
Citation: Wang D (1995) A Method for Proving Theorems in Differential Geometry and Mechanics. JUCS - Journal of Universal Computer Science 1(9): 658-673. https://doi.org/10.3217/jucs-001-09-0658
Open Access
Abstract
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.
Keywords
Differential geometry, mechanics, polynomial elimination, theorem proving, triangular system, zero decomposition