Selected Papers of WU Wen-Tsun

1.        On the product of sphere bundles and the duality theorem modulo two. Ann. of Math. 2, 49, 641-653, 1948.

2.        Classes caractĘŽristiques et i-carrĘĘs d'une variĘŽtĘĘ. C. R. Acad. Sci. Paris 230, 508-511, 1950.

3.        Les i-carrĘŽs dans une variĘŽtĘĘ grassmanniĘŽnne. C. R. Acad. Sci. Paris 230,   918-920, 1950.

4.        On the realization of complexes in Euclidean spaces I. Acta Math. Sinica 5 (1955) 79-101 (in Chinese, English summary). Amer. Math. Soc. Translations, Ser.2, 78(1968) 137-184.

5.        On the realization of complexes in Euclidean spaces. III. Acta. Math. Sinica 8(1958) 79-94. (in Chinese, English summary). Sci. Sinica 8(1959), 133-270.

6.        On universal invariant forms, Acta Math. Sinica, 18, 263-273, 1975.

7.        Theory of I*-functor in algebraic topology - Effective calculation and axiomatization of I*-functor on complexes, Sci. Sinica, 19, 647-664, 1976.

8.        On the decision problem and the mechanization of theorem-proving in elementary geometry, Scientia Sinica 21, 159-172, 1978. Chinese version in Sci. Sinica, 20, 507-516, 1977. Re-published in Automated Theorem Proving: After 25 Years (Eds. W.W. Bledsoe & D. W. Loveland), 213-234, 1984.

9.        Toward mechanization of geometry --- some comments on Hilbert's "Grundlagen der Geometrie", Acta Math.Scientia, 2, 125-138, 1982.

10.    The out-in complementary principle, in Ancient China's Technology and Science, Foreign Languages Press, Beijing, 66-89, 1983.

11.    A constructive theory of differential algebraic geometry based on works of J. F. Ritt with particular applications to mechanical theorem-proving in differential geometries. Differential Geometry and Differential Equations, Lect. Notes in Math. No. 1255, Springer, 173-189, 1984.

12.    Basic principles of mechanical theorem-proving in elementary geometries, J. Sys. Sci. & Math. Scis., 207-235, 1984. Re-published in J. Automated Reasoning, 2 221-252, 1986.

13.    On zeros of algebraic equations --- an application of Ritt principle, Kexue Tongbao 31, 1-5, 1986. Chinese version, 30, 881-883, 1985.

14.    On the planar imbedding of linear graphs I, J. Sys. Sci. & Math. Scis., 5, 290-302, 1985.

15.    On the planar imbedding of linear graphs II, J. Sys. Sci. & Math. Scis., 6, 23-35, 1986.

16.    A mechanization method of geometry and its applications I. Distances, areas, and volumes, J. Sys. Sci. & Math. Scis., 6, 204-216, 1986.

17.    Recenct studies of the history of Chinese mathematics, in Proc. ICM 1986, Amer. Math. Soc., 1657-1667, 1987.

18.    On Chern numbers of algebraic varieties with arbitrary sigularities, Acta Math. Sinica, New Ser., 3, 227-238, 1987.

19.    Mechanical derivation of Newton's Gravitational Laws from Kepler's Laws, MM-Res. Preprints, No.1, 53-61, 1987.

20.    A mechanization method of geometry and its applications II. Curve pairs of Bertrand type, Kuxue Tongbao 32, 585-588, 1987. Chinese version 1281-1284.

21.    A mechanization method of geometry and its applications III. Mechanical proving of polynomial inequalities and equations-solving, MM-Res. Preprints, No.2, 1-17, 1987, also in Sys. Sci. & Math. Scis., 1, 1-17, 1988.

22.    On the foundation of algebraic differential geometry, MM-Res. Preprints, No.3, 1-26, 1989, also in Sys. Sci. & Math. Scis., 2, 289-312, 1989.

23.    On the genetic zero and Chow basis of an irreducible ascending set, MM-Res. Preprints, No. 4(1989)1-21.

24.    On the construction of Groebner basis of a polynomial ideal based on Riquier-Janet theory, MM-Res. Preprints, No.5, 5-22, 1990. Also in Sys.Sci. & Math.Scis., 4, 193-207, 1991.

25.    Mechanical theorem proving of differential geometries and some of its applications in mechanics, MM-Res. Preprints, No. 6(1991) 1-22. Also in J. Automated Reasoning, 7(1991) 171-191.

26.    On a finiteness theorem about optimization problems, MM-Res. Preprints, No. 8, 1-18, 1992.

27.    On problems involving inequalities, MM-Res. Preprints, No. 7, 1-13, 1992.

28.    On Surface-fitting problem in CAGD, MM-Res. Preprints, No. 10, 1-10, 1993.

29.    On a finiteness theorem about problems involving inequalities, Sys. Sci. & Math. Scis., 7, 1994.

30.    Central configurations in planet motions and vortex motions, MM-Res. Preprints, No. 13(1995)1-14.

31.    On algebrico-differential equations-solving, J. Sys. Sci. & Complexity, v. 17, 153-163, 2004.

32.    On the development of real number system in ancient China, Science, 55(2003). Abstract (2005).

33.    On the construction of Groebner Basis of a polynomial ideal based on Riquier-Janet Theory, Differential Equations with Symbolic Computation, 351-368, 2005.

34.    On "good" bases of algebraico-differential ideals, Differential Equations with Symbolic Computation, 343-350, 2005.

35.    On characteristic features o traditional mathematics in ancient China, Kyoto Conference in Kyoto (2006) March 7-8.

36.    From traditional algorithmic mathematics in ancient China to mathematics mechanization in modern China, Kyoto Conference in Kyoto (2006)  March 7-8.