The dimension method in elementary and differential geometry

DOI10.1007/BF01531323MaRDI QIDQ1924742zbMATH OpenWikidataFDO

Authors M. A. Alberti, Giuseppa Carrà Ferro, B. Lammoglia, Mauro Torelli

Publication date 20 October 1996

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

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

zbMATH Keywords

automated reasoning in geometryGröbner bases

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 3852462
• Self-evident automated proving based on point geometry from the perspective of Wu's method identity
• Geometric theorem proving by integrated logical and algebraic reasoning
• scientific article; zbMATH DE number 4031634
• scientific article; zbMATH DE number 1421051

Cites work

• A procedure to prove statements in differential geometry
• 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
• An extension of a procedure to prove statements in differential geometry
• Basic principles of mechanical theorem proving in elementary geometries
• Combinatorial dimension theory of algebraic varieties
• Computation of Hilbert functions
• scientific article; zbMATH DE number 4181494 (Why is no real title available?)
• scientific article; zbMATH DE number 3651027 (Why is no real title available?)
• scientific article; zbMATH DE number 3838165 (Why is no real title available?)
• scientific article; zbMATH DE number 3941661 (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 41286 (Why is no real title available?)
• scientific article; zbMATH DE number 3497890 (Why is no real title available?)
• scientific article; zbMATH DE number 1263342 (Why is no real title available?)
• scientific article; zbMATH DE number 3261125 (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?)
• scientific article; zbMATH DE number 3068536 (Why is no real title available?)
• Mechanical theorem proving of differential geometries and some of its applications in mechanics
• On the application of Buchberger's algorithm to automated geometry theorem proving
• Riquier's existence theorems
• The notion of dimension in the theory of algebraic differential equations
• Using Gröbner bases to reason about geometry problems

Cited in

(6)

• A method of embedding dimension estimation based on symplectic geometry
• scientific article; zbMATH DE number 3852462 (Why is no real title available?)
• Mathematical Foundations of the Dimensional Method
• The notion of dimension in geometry and algebra
• A procedure to prove statements in differential geometry
• Dimension in diffeology

Describes a project that uses

Uses Software

• CoCoA

This page was built for publication: The dimension method in elementary and differential geometry

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