An extension of a procedure to prove statements in differential geometry

DOI10.1007/BF00885765zbMath0808.03005OpenAlexW1988506940WikidataQ115394859 ScholiaQ115394859MaRDI QIDQ1340965

Giuseppa Carrà Ferro

Publication date: 21 December 1994

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

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

zbMATH Keywords

differential dimensionconclusion setextension of Carra'-Gallo procedurehypothesis set

Mathematics Subject Classification ID

Related Items (1)

The dimension method in elementary and differential geometry

Cites Work

• A procedure to prove statements in differential geometry
• On the application of Buchberger's algorithm to automated geometry theorem proving
• Using Gröbner bases to reason about geometry problems
• Mechanical theorem proving of differential geometries and some of its applications in mechanics
• An algorithm for determining the size of symmetry groups
• Automated reasoning in differential geometry and mechanics using the characteristic set method. I: An improved version of Ritt-Wu's decomposition algorithm
• Riquier's existence theorems
• Algorithms for reducing a system of PDEs to standard form, determining the dimension of its solution space and calculating its Taylor series solution
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An extension of a procedure to prove statements in differential geometry