In this paper, a useful classification of all Lie subalgebras of a given Lie algebraup to an inner automorphism is presented. This method can be regarded as animportant connection between differential geometry and algebra and has many applications in different fields of mathematics. After main results, we have applied this procedure for classifying the Lie subalgebras of some examples of Lie al...

We clarify the formulation problem of mechanical theorem proving in differential geometry and mechanics and propose two formulations. We present complete methods of mechanical theorem proving for the two formulations. We also introduce predicates and a language to translate geometry statements into differential polynomial equations. A program based on our methods has proved more than 100 nontri...