Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J.F.Ritt, Differential equations from the algebraic standpoint, Amer. Math. Soc., (1932).
J.F.Ritt, Differential algebra, Amer. Math. Soc., (1950).
Wu Wen-tsun, On the mechanization of theorem-proving in elementary differential geometry, Scientia Sinica, Math. Supplement (I), 94–102 (1979).
Wu Wen-tsun, Mechanical theorem proving in elementary geometry and differential geometry, in Proc. 1980 Beijing DD-Symposium, Beijing, V.2, 1073–1092 (1982).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag
About this paper
Cite this paper
Wu, Wt. (1987). A constructive theory of differential algebraic geometry based on works of J.F. Ritt with particular applications to mechanical theorem-proving of differential geometries. In: Gu, C., Berger, M., Bryant, R.L. (eds) Differential Geometry and Differential Equations. Lecture Notes in Mathematics, vol 1255. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0077689
Download citation
DOI: https://doi.org/10.1007/BFb0077689
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-17849-1
Online ISBN: 978-3-540-47883-6
eBook Packages: Springer Book Archive