The dimension method in elementary and differential geometry

DOI10.1007/BF01531323zbMath0855.68092WikidataQ115393379 ScholiaQ115393379MaRDI QIDQ1924742

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

Publication date: 20 October 1996

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

zbMATH Keywords

Gröbner basesautomated reasoning in geometry

Mathematics Subject Classification ID

Uses Software

• CoCoA

Cites Work

• Combinatorial dimension theory of algebraic varieties
• 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
• Basic principles of mechanical theorem proving in elementary geometries
• Mechanical theorem proving of differential geometries and some of its applications in mechanics
• Computation of Hilbert functions
• An algorithm for determining the size of symmetry groups
• An extension of a procedure to prove statements in differential geometry
• 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
• The notion of dimension in the theory of algebraic differential equations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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