An extension of a procedure to prove statements in differential geometry

DOI10.1007/BF00885765zbMATH Open0808.03005OpenAlexW1988506940WikidataQ115394859 ScholiaQ115394859MaRDI QIDQ1340965FDOQ1340965

Authors: 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

Grammars and rewriting systems (68Q42) Mechanization of proofs and logical operations (03B35)

Cites Work

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

Cited In (3)

• Geometry machines: from AI to SMC
• The dimension method in elementary and differential geometry
• Title not available (Why is that?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1340965)