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) , 161-172
- https://doi.org/10.1007/bf00881834
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- 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
- Mechanical Geometry Theorem ProvingPublished by Springer Nature ,1987
- Proving geometry theorems with rewrite rulesJournal of Automated Reasoning, 1986
- Automated geometry theorem proving using Buchberger's algorithmPublished by Association for Computing Machinery (ACM) ,1986
- Geometry theorem proving using Hilbert's NullstellensatzPublished by Association for Computing Machinery (ACM) ,1986
- Differentially closed fields: a model-theoretic tourPublished by Elsevier ,1977
- Differential AlgebraPublished by American Mathematical Society (AMS) ,1950
- Differential Equations from the Algebraic StandpointPublished by American Mathematical Society (AMS) ,1932
- Zur Nullstellentheorie der PolynomidealeMathematische Annalen, 1927