Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 1 / Issue 9

available in:   PDF (212 kB) PS (67 kB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-001-09-0658


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