A procedure to prove statements in differential geometry

DOI10.1007/BF00245819zbMath0697.68081WikidataQ115395141 ScholiaQ115395141MaRDI QIDQ911792

Giuseppa Carrà Ferro, Giovanni Gallo

Publication date: 1990

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

zbMATH Keywords

differential algebraic setdifferential dimension

Mathematics Subject Classification ID

Related Items (6)

An extension of a procedure to prove statements in differential geometry ⋮ An introduction to commutative and noncommutative Gröbner bases ⋮ Mechanical theorem proving in the local theory of surfaces ⋮ The dimension method in elementary and differential geometry ⋮ Mechanical theorem proving in the surfaces using the characteristic set method and Wronskian determinant ⋮ Automated reasoning in differential geometry and mechanics using the characteristic set method. II: Mechanical theorem proving

Cites Work

• On the application of Buchberger's algorithm to automated geometry theorem proving
• Using Gröbner bases to reason about geometry problems
• Differential Algebraic Groups
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A procedure to prove statements in differential geometry