A Method for Proving Theorems in Differential Geometry and Mechanics
Dongming Wang (Institut National Polytechnique de Grenoble, France)
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
Categories: I.1.2, I.2.3