An extension of a procedure to prove statements in differential geometry
type: Item
instance of: scholarly article
title: An extension of a procedure to prove statements in differential geometry
zbMATH Open document ID: 0808.03005
DOI: 10.1007/BF00885765
author: Giuseppa Carrà Ferro
published in: Journal of Automated Reasoning
publication date: 1994-12-21T00:00:00Z
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 704959
zbMATH Keywords: differential dimension
zbMATH Keywords: hypothesis set
zbMATH Keywords: conclusion set
zbMATH Keywords: extension of Carra'-Gallo procedure
MaRDI profile type: Publication
Wikidata QID: Q115394859
cites work: A procedure to prove statements in differential geometry
cites work: Automated reasoning in differential geometry and mechanics using the characteristic set method. I: An improved version of Ritt-Wu's decomposition algorithm
cites work: Using Gröbner bases to reason about geometry problems
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: Riquier's existence theorems
cites work: Q3826517
cites work: Mechanical theorem proving of differential geometries and some of its applications in mechanics
full work available at URL: https://doi.org/10.1007/bf00885765
OpenAlex ID: W1988506940
description: scientific article; zbMATH DE number 704959