G. Carra'Ferro, Gr\"obner bases and differential Algebra, pp. 129-140, {\it AAECC-5}. G. Carra'Ferro, A Peocedure to prove geometrical Statements. pp. 141--150, {\it AAECC-5}. G. Carra'Ferro, Gr\"obner bases, Ritt's Algorithm and Decision procedure for algebar theories, pp. 230--237, {\it AAECC-5}. G. Carra Ferro, Some Remarks on the differential Dimension, {\it AAECC-6}, L.N.C.S. 367, pp. 169--180. G. Carro Ferro, Groebner bases and differential algebra. In L. Huguet, A. Poli (ed.), Applied algebra, algebraic algorithms, and error-correcting codes. Springer LN Computer Science 356 (1987), 129-140. G. Carro Ferro, Some properties of lattice points and their application in differential algebra. t.a. 1992, 93. S.C. Chou \& X.S. Gao, Automated Reasoning in Differential Geometry and Mechanics: Part I. An Improved Version of Ritt--Wu's Decomposition Algorithm, {\it Journal of Automated Reasoning}, 10:161--172,1993, Kluwer Academic Publishers. S.C. Chou \& X.S. Gao, Automated Reasoning in Differential Geometry and Mechanics: Part II. Mechanical Theorem Proving, {\it Journal of Automated Reasoning}, 10:173-189, 1993, Kluwer Academic Publishers. S.C. Chou \& X.S. Gao, Automated Reasoning in Differential Geometry and Mechanics: Part III, Mechanical Formula Derivation, {\it IFIP Transaction on , Automated Reasoning}, p.1-12, North-Holland. S.C. Chou \& X.S. Gao, Automated Reasoning in Differential Geometry and Mechanics: Part IV, Bertrand Curves, {\it J. of Sys. \& Math.}, vol. 6, p.186-192, 1993. S.C. Chou \& X.S. Gao, Geometry Theorems Proved Mechanically Using Wu's Method, part on differential geometry, MM-Research Preprints, No.6, 1991, Inst. of Systems Science, Academia Sinica. G.C. Ferro and G. Gallo, A Procedure to Prove Statements in Differential Geometries, J. Automated Reasoning, pp. 203--209, 1990. C. Gallo and B. Mishra, Efficient Algorithms and Bounds for Wu-Ritt Characteristic Sets, TR, Courant Institute of Math. Sciences, 1989. X.S. Gao, The Minimal Characteristic Basis of a Differential Polynomial Ideal, {\it Chinese Science Bulletin}, vol. 35, No. 6, 1990, 455-458. X.S. Gao \& S.C. Chou, A Zero Structure Theorem for Differential Parametric Systems, {\it Journal of Symbolic Computation}, vol. 16, p. 585-595. Ritt, J.F., {\it Differential Equations From the Algebraic Standpoint}, Amer. Math. Soc. Colloquium, vol 14, New York, 1932. Ritt, J.F., {\it Differential algebra}, Amer. Math. Sco. Colloquium, (1950). Wu Wen-ts\"un, Mechanical Theorem Proving in Elementary Differential Geometry, Scientia Sinica, Mathematics Supplement (I), 1979, 94--102. (in Chinese) Wu Wen-ts\"un, Mechanical Theorem Proving in Elementary Geometry and Differential Geometry, in Proc.1980 Beijing DD-Symposium, Beijing, v.2, 1073-1092 (1982). Wu Wen-ts\"un, A Constructive Theory of Differential Algebraic Geometry, {\em Proc. of DD6-Symposium}, Shanghai, 1984, p.497-528. Wu Wen-ts\"un, A Constructive Theory of Differential Algebraic Geometry, Lect. Notes in Math., No. 1255, pp 173--189, Springer-verlag, 1987. Wu Wen-ts\"un, On the Foundation of Algebraic Differential Geometry, MM-Res. Preprints, No.3 (1989) 1-26, also in Sys.Sci.$\&$ Math.Scis., 2 (1989) 289-312 Wu Wen-ts\"un, Mechanical Theorem Proving of Differential Geometries and some of Its Applications in Mechanics, {\em J. Automated Reasoning}, 7 (1991) 171-191. Wu Wen-ts\"un, Mechanical Theorem Proving in Elementary Geometry and Differential Geometry, Proc. 1980 Beijing, DD1 Symp. Vol. 2, Science Press, 1982, 1073--1092. Wu Wen-ts\"un, On the Foundation of Algebraic Differential Geometry, MM Research Preprints, No. 3, 1989, Ins. of Systems Science.