The dimension method in elementary and differential geometry
type: Item
instance of: scholarly article
title: The dimension method in elementary and differential geometry
zbMATH Open document ID: 0855.68092
DOI: 10.1007/BF01531323
author: M. A. Alberti
author: Giuseppa Carrà Ferro
author: B. Lammoglia
author: Mauro Torelli
published in: Annals of Mathematics and Artificial Intelligence
publication date: 1996-10-20T00:00:00Z
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 937245
zbMATH Keywords: automated reasoning in geometry
zbMATH Keywords: Gröbner bases
Wikidata QID: Q115393379
describes a project that uses: CoCoA
MaRDI profile type: Publication
cites work: Computation of Hilbert functions
cites work: Q3714165
cites work: Q3204585
cites work: Q3977389
cites work: An extension of a procedure to prove statements in differential geometry
cites work: Q3833652
cites work: A procedure to prove statements in differential geometry
cites work: Q3994509
cites work: Q4079605
cites work: Combinatorial dimension theory of algebraic varieties
cites work: Using Gröbner bases to reason about geometry problems
cites work: The notion of dimension in the theory of algebraic differential equations
cites work: Q5680222
cites work: Q5547105
cites work: On the application of Buchberger's algorithm to automated geometry theorem proving
cites work: Q3209062
cites work: Q3309959
cites work: Algorithms for reducing a system of PDEs to standard form, determining the dimension of its solution space and calculating its Taylor series solution
cites work: Q5795628
cites work: An algorithm for determining the size of symmetry groups
cites work: Q4234220
cites work: Q5807665
cites work: Riquier's existence theorems
cites work: Basic principles of mechanical theorem proving in elementary geometries
cites work: Mechanical theorem proving of differential geometries and some of its applications in mechanics
description: scientific article; zbMATH DE number 937245