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