A procedure to prove statements in differential geometry
- 1 June 1990
- journal article
- research article
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 6 (2) , 203-209
- https://doi.org/10.1007/bf00245819
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Some remarks on the differential dimensionLecture Notes in Computer Science, 1989
- A procedure to prove geometrical statementsLecture Notes in Computer Science, 1989
- Gröbner bases and differential algebraLecture Notes in Computer Science, 1989
- A constructive theory of differential algebraic geometry based on works of J.F. Ritt with particular applications to mechanical theorem-proving of differential geometriesPublished by Springer Nature ,1987
- Using Gröbner bases to reason about geometry problemsJournal of Symbolic Computation, 1986
- On the application of Buchberger's algorithm to automated geometry theorem provingJournal of Symbolic Computation, 1986
- Differential Algebraic GroupsAmerican Journal of Mathematics, 1972
- Differential AlgebraPublished by American Mathematical Society (AMS) ,1950