Automated reasoning in differential geometry and mechanics using the characteristic set method. II: Mechanical theorem proving

DOI10.1007/BF00881835zbMath0782.68101OpenAlexW2160410991WikidataQ115394862 ScholiaQ115394862MaRDI QIDQ1311409

Shang-Ching Chou, Xiao-Shan Gao

Publication date: 23 January 1994

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

Full work available at URL: https://doi.org/10.1007/bf00881835

zbMATH Keywords

space curvesWu's methodelementary mechanicsRitt-Wu's decomposition algorithm

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (3)

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

Cites Work

• Unnamed Item
• A procedure to prove statements in differential geometry
• On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving
• Automated reasoning in differential geometry and mechanics using the characteristic set method. I: An improved version of Ritt-Wu's decomposition algorithm

This page was built for publication: Automated reasoning in differential geometry and mechanics using the characteristic set method. II: Mechanical theorem proving