Mechanical theorem proving in the local theory of surfaces

DOI10.1007/BF01531322zbMath0855.68091MaRDI QIDQ1924739

Ziming Li

Publication date: 20 October 1996

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

algebraic differential polynomials

Mathematics Subject Classification ID

Related Items (2)

Involutive characteristic sets of algebraic partial differential equation systems ⋮ Mechanical theorem proving in the surfaces using the characteristic set method and Wronskian determinant

Cites Work

• A procedure to prove statements in differential geometry
• Mechanical theorem proving of differential geometries and some of its applications in mechanics
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Mechanical theorem proving in the local theory of surfaces