A procedure to prove statements in differential geometry

DOI10.1007/BF00245819MaRDI QIDQ911792zbMATH OpenWikidataFDO

Authors Giuseppa Carrà Ferro, Giovanni Gallo

Publication date 1990

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

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

zbMATH Keywords

differential algebraic setdifferential dimension

Mathematics Subject Classification ID

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

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

Cites work

• Differential Algebraic Groups
• scientific article; zbMATH DE number 4101137 (Why is no real title available?)
• scientific article; zbMATH DE number 4110159 (Why is no real title available?)
• scientific article; zbMATH DE number 15047 (Why is no real title available?)
• scientific article; zbMATH DE number 3415973 (Why is no real title available?)
• scientific article; zbMATH DE number 3056446 (Why is no real title available?)
• On the application of Buchberger's algorithm to automated geometry theorem proving
• Using Gröbner bases to reason about geometry problems

Cited in

(12)

• 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
• 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
• scientific article; zbMATH DE number 4110159 (Why is no real title available?)
• scientific article; zbMATH DE number 1960937 (Why is no real title available?)
• scientific article; zbMATH DE number 1542850 (Why is no real title available?)
• scientific article; zbMATH DE number 1423934 (Why is no real title available?)
• Algorithm and implementation of mechanical proving of a class of theorems in elementary differential geometry
• Geometry machines: from AI to SMC

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)