An extension of a procedure to prove statements in differential geometry
From MaRDI portal
Publication:1340965
Cites work
- 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 4101137 (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?)
- 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
- Automated reasoning in differential geometry and mechanics using the characteristic set method. I: An improved version of Ritt-Wu's decomposition algorithm
- 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
- Using Gröbner bases to reason about geometry problems
Cited in
(3)
This page was built for publication: An extension of 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 Q1340965)
