Automated reasoning in differential geometry and mechanics using the characteristic set method
- 1 January 1993
- journal article
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 10 (2) , 173-189
- https://doi.org/10.1007/bf00881835
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Automated reasoning in differential geometry and mechanics using the characteristic set methodJournal of Automated Reasoning, 1993
- A procedure to prove statements in differential geometryJournal of Automated Reasoning, 1990
- On the algebraic formulation of certain geometry statements and mechanical geometry theorem provingAlgorithmica, 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
- Differential AlgebraPublished by American Mathematical Society (AMS) ,1950
- Differential Equations from the Algebraic StandpointPublished by American Mathematical Society (AMS) ,1932