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.