Mechanical theorem proving of differential geometries and some of its applications in mechanics

zbMath0736.03002MaRDI QIDQ1177715

Wen-tsün Wu

Publication date: 26 June 1992

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

differential geometrymechanicsmechanical theorem provingdifferential polynomial setsmechanical theorem discoveringwell-ordering principle

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Differential geometric aspects in kinematics (53A17) Celestial mechanics (70F15) Curves in Euclidean and related spaces (53A04)

Related Items (7)

Algorithm for computing differential char sets efficiently ⋮ An extension of a procedure to prove statements in differential geometry ⋮ Mechanical theorem proving in the local theory of surfaces ⋮ The dimension method in elementary and differential geometry ⋮ An application of Ritt-Wu's zero decomposition algorithm to the pseudo null Bertrand type curves in Minkowski 3-space ⋮ A system for automated deduction in engineering mechanics ⋮ Mechanical theorem proving in the surfaces using the characteristic set method and Wronskian determinant

This page was built for publication: Mechanical theorem proving of differential geometries and some of its applications in mechanics