1.

Blum, L., ‘Differentially closed fields: A model-theoretic tour’, in:*Contributions to Algebra* (Eds. H. Bass*et al.*), Academic Press, New York, pp. 37–62 (1977).

2.

Chou, S. C.,*Mechanical Geometry Theorem Proving*, D. Reidel Publishing Company (1988).

3.

Chou, S. C. and Gao, X. S., ‘Mechanical theorem proving in differential geometry, I. Space curves’, TR-89-08, Computer Sciences Department, The University of Texas at Austin (March 1989).

4.

Chou, S. C. and Gao, X. S., ‘Automated reasoning in mechanics using Ritt-Wu's method‘, TR-89-11, Computer Sciences Department, The University of Texas at Austin (April 1989).

5.

Chou, S. C. and Gao, X. S., Ritt-Wu's decomposition algorithm and geometry theorem proving’, TR-89-09, Computer Sciences Department, The University of Texas at Austin (March 1989).

6.

Chou, S. C. and Schelter, W. F., ‘Proving geometry theorem with rewrite rules’,*J. Automated Reasoning*
**2**(4), 253–273 (1986).

7.

Kapur, D., ‘Geometry theorem proving using Hilbert's nullstellensatz’,*Proc. SYMSAC'86*, Waterloo, pp. 202–208 (1986).

8.

Kutzler, B. and Stifter, S., ‘Automated geometry theorem proving using Buchberger's algorithm’,*Proc. SYMSAC'86*, Waterloo, pp. 209–214 (1986).

9.

Ritt, J. F., ‘Differential equations from the algebraic standpoint’,*Amer. Math. Soc. Colloquium*,**14**, (1932).

10.

Ritt, J. F., ‘Differential algebra’,*Amer. Math. Soc. Colloquium* (1950).

11.

van der Waerden,*Mathematische Annalen*
**96**, 189 (1927).

12.

Wang, D. M. and Gao, X. S., ‘Geometry theorems proved mechanically using Wu's method, Part on elementary geometries’, MM preprint No. 2 (1987).

13.

Wu Wen-Tsün, ‘On the decision problem and the mechanization of theorem in elementary geometry’,*Scientia Sinica*
**21**, 159–172 (1978); Republished in*Automated Theorem Proving: After 25 Years*, American Mathematics Society, Contemporary Mathematics,**29**, 213–234 (1984).

14.

Wu Wen-Tsün, ‘Mechanical theorem proving in elementary differential geometry’,*Scientia Sinica, Mathematics Supplement* (I), 94–102 (1979). (In Chinese.)

15.

Wu Wen-Tsün, ‘Mechanical theorem proving in elementary geometry and differential geometry’,*Proc. 1980 Beijing, DD1 Symp.* Vol. 2, Science Press, pp. 1073–1092 (1982).

16.

Wu Wen-Tsün, ‘A constructive theory of differential algebraic geometry’,*Lect. Notes in Math.*, No. 1255, pp. 173–189, Springer-Verlag (1987).