A procedure to prove statements in differential geometry

Cassidy, P. J., ?Differential algebraic groups?, Am. J. Math. 14, 891?954 (1972).

Carrà Ferro, G., ?Gröbner bases and differential algebra?, Proceeding AAECC-5 (1987) Lecture Notes in Comp. Sci. 356, 129?140 (1989).

Carrà Ferro, G., ?Some remark on the differential dimension?, Proceeding AAECC-6 (1988) Lecture Notes in Comp. Sci. 357, 152?163.

Carrà Ferro, G. and Gallo, G., ?A procedure to prove geometrical statements?, Proceeding AAECC-5 (1987) Lecture Notes in Comp. Sci. 356, 141?150.

Chou, S. C., ?Proving and discovering geometry theorems using Wu's method?, PhD Thesis. Univ. of Texas at Austin (1985).

Kapur, D., ?Using Gröbner bases to reason about geometry problems?, J. Symb. Comp. 2, 4 399?405 (1986).

Kolchin, E. R., Differential Algebra and Algebraic Groups, Academic Press, New York (1973).

Kutzler, B. and Stifter, S., ?On the application of Buchberger's algorithm to automated geometry theorem proving?, J. Symb. Comp. 2, 4, 389?398 (1986).

Ritt, J. F., ?Differential algebra?, AMS Colloq. Public., vol. 33, New York (1950).

Winkler, F., ?A geometrical decision algorithm based on the Gröbner bases algorithm?, submitted to ISSAC-88.

Wu Wen Tsün, ?A constructive theory of differential algebraic geometry based on works of J. F. Ritt with particular applications to mechanical theorem proving of differential geometries?, Lecture Notes in Math. 1255, Springer-Verlag (1987).

Wu Wen Tsün, ?Automatic derivation of Newton's gravitational laws from Kepler's laws?, Preprint (1987).