A procedure to prove statements in differential geometry

DOI10.1007/BF00245819zbMATH Open0697.68081WikidataQ115395141 ScholiaQ115395141MaRDI QIDQ911792FDOQ911792

Authors: Giuseppa Carrà Ferro, Giovanni Gallo 

Publication date: 1990

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

Recommendations

• Algorithm and implementation of mechanical proving of a class of theorems in elementary differential geometry
• Automated reasoning in differential geometry and mechanics using the characteristic set method. II: Mechanical theorem proving
• The dimension method in elementary and differential geometry
• scientific article; zbMATH DE number 1542850
• Mechanical theorem proving in differential geometry: Local theory of surfaces

zbMATH Keywords

differential algebraic setdifferential dimension

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to differential geometry (53-04)

Cites Work

• Title not available (Why is that?)
• Differential Algebraic Groups
• 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?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (12)

• Geometry machines: from AI to SMC
• The dimension method in elementary and differential geometry
• Title not available (Why is that?)
• An introduction to commutative and noncommutative Gröbner bases
• Title not available (Why is that?)
• Mechanical theorem proving in the local theory of surfaces
• Title not available (Why is that?)
• Title not available (Why is that?)
• Mechanical theorem proving in the surfaces using the characteristic set method and Wronskian determinant
• An extension of a procedure to prove statements in differential geometry
• Algorithm and implementation of mechanical proving of a class of theorems in elementary differential geometry
• Automated reasoning in differential geometry and mechanics using the characteristic set method. II: Mechanical theorem proving

This page was built for publication: 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 Q911792)