发  表  文  章

  1. Note sur les produits essentiels symétriques des espaces topologiques.   C. R. Acad. Sci. Paris 224, 1139-1141(1947).
  2. On the product of sphere bundles and the duality theorem modulo two.    Ann. of Math. (2) 49, 641-653 (1948).
  3. Sur L'existence d'un champ d'élèments de contact ou d'une structure   complexe sur une sphére. C. R. Acad. Sci. Paris 226, 2117-2119(1948).
  4. Sur les classes caractéristiques d'un espace fibré en sphéres.   C. R. Acad. Sci. Paris 227, 582-584(1948).
  5. Sur le second obstacle d'un champ d'élèments de contact dans une structure   fibrée sphérique. C. R. Acad. Sci. Paris 227, 815-817(1948).
  6. Sur la structure presque complexe d'une variétè différentiable réelle de  dimension 4. C. R. Acad. Sci Paris 227, 1076-1078 (1948).
  7. Sur la structure presque complexe d'une variétè différentiable   réelle. C. R. Acad. Sci. Paris 228, 972-973(1949).
  8. Classes caractéristiques et i-carrès d'une variétè. C. R. Acad.  Sci. Paris 230, 508-511(1950).
  9. Les i-carrés dans une variétè grassmanniénne. C. R. Acad. Sci. Paris 230,   918-920(1950).
  10. Sur les puissances de Steenrod. Colloque de Topologie de Strasbourg. 1951,   no. IX, 9pp. La Bibliothéque Nationale et Universitaire de Strasbourg, 1952.
  11. Topological invariants of new type of finite polyhedrons. Acta Math.    Sinica 3, 261-290(1953).(in Chinese, English summary).
  12. On Pontrjagin classes I. Acta Math. Sinica 3, 291-315(1953)   (in Chinese, English summary) 17-521. Sci. Sinica 3, 353-367(1954). Amer. Math. Soc. Translations, Ser. 2, 92(1970), 49-62.
  13. On squares in Grassmannian manifolds. Acta Sci. Sinica 2, 91-115(1953). Amer. Math. Soc. Translations, Ser. 2, 38(1964), 235-258.
  14. On squares in Grassmann manifolds. J. Chinese Math. Soc. 2(1953) 205-230.   (in Chinese, English summary) 17-396.
  15. Proof of a certain conjecture of H. Hopf, Acta Math. Sinica 4(1954), 491-500.
  16. ``On Pontrjagin classes II'', Acta Math. Sinica 4(1954).   171-199(in Chinese, English summary). Amer. Math. Soc. Translations, Ser. 2, 92(1970), 63-92.
  17. On Pontrjagin classes. III. Acta Math. Sinica 4(1954), 323-346.   (in Chinese, English summary) 18-225. American Mathematical Society Translations,   Ser. 2, Vol. II, pp. 155-172, American Mathematical Society, Providence R I. 1959.
  18. On Pontrjagin classes. IV. Acta Math. Sinica 5(1955),   37-63. (in Chinese, English summary). Amer. Math. Soc. Translations, Ser. 2, 92, 93-121.
  19. On Pontrjagin classes. V. Acta Math. Sinica 5(1955),   401-410. (in Chinese, English summary). Amer. Math. Soc. Translations, Ser. 2, 38(1964), 259-268.
  20. On the realization of complexe in euclidean spaces I. Acta Math. Sinica   5(1955), 505-552. (in Chinese, English summary). Amer. Math. Soc. Translations, Ser. 2, 78(1968), 137-184.
  21. On the imbedding of polyhedrons in Euclidean spaces. Bull. Acad. Polon. Sci.   C1. III. 4(1956)573-577.
  22. On the realization of complexes in euclidean spaces. II. Acta Math. Sinica  7(1957), 79-101 (in Chinese, English summary). Amer. Math. Soc. Translations, Ser. 2, 78(1968), 185-208.
  23. On the $\Phi_p$-classes of a topological space. Sci. Record (N. S.),   1(1957), 377-380.
  24. On the relations between smith operations and Steenrod powers.  (in Chinese, English summary) Acta Math. Sinica 7(1957), 235-241. Fund.  Math. 44(1957), 262-269. Amer. Math. Soc. Translations, Ser. 2, 38(1964), 269-276.
  25. 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-150.
  26. On the reduced products and the reduced cyclic powers of a space. Jber    Deutsch. Math. Verein. 61(1958), Abt. 1, 65-75.
  27. On the dimension of a normal space with countable base. Sci. Record   (N. S.) 2(1958), 65-69.
  28. On the isotopy of Cr-manifolds of dimension (n) in Euclidean (2n+1)-space.  Sci. Record (N. S.) 2(1958), 271-275.
  29. On the realization of complexes in Euclidean spaces. Sci. Sinica 7(1958),    365-387.
  30. On the isotopy of a complex in a Euclidean space. I. (in Chinese .English summary).   Acta Math. Sinica 9(1959), 475-493. Sci. Sinica 9(1960), 21-46.
  31. Topologie combinatoire et invariants combinatoires. Colloq. Math.  7(1959), 1-8.
  32. On certain invariants of cell-bundles. Sci. Record (N. S.) 3(1959), 137-142.
  33. A remark on the fundamental theorem in the theory of games. Sci. Record (N.S.)    3(1959), 229-233.
  34. On the isotopy of a finite complex in a Euclidean space. I, II. Sci.   Record (N.S.) 3(1959), 342-351.
  35. On non-cooperative games with restricted domains of activities. Acta Math.   Sinica 11(1961), 47-62 (in Chinese); translated as Chinese Math. 2(1962), 54-76. Russian version in Beskonec. Anagonist. Igry, 1963, 459-488.
  36. On a theorem of Leray. Acta Math. Sinica 11(1961), 348-356(in Chinese); Chinese Math. 2(1962), 398-410. Sci. Sinica 10(1961), 793-805.
  37. Essential equilibrium points of $n$-person non-cooperative games(with Jiang Jia-he), Sci.Sinica, 12 (1962) 1307-1322.
  38. The characteristic classes of certain real quadrics(with Li Pei-hsin), Acta Math. Sinica, 12 (1962) 203-215 (in Chinese).  Translated in Chinese Math., 3 (1963) 218-231.
  39. On the imbedding of orientable manifolds in a Euclidean space. Sci. Sinica
       12(1963), 25-33.
  40. Rotations in Euclidean space. (in Chinese) Shuxue Jinzhan 6(1963), 96-97.
  41. A theorem on immersion. Sci. Sinica 13(1964), 160.
  42. On the immersion of $C^{\infty}$-3-manifolds in a Euclidean space. Sci. Sinica 13(1964), 335-336.
  43. On the notion of imbedding classes. Sci. Sinica 13(1964), 681-682.
  44. On the imbedding of manifolds in a Euclidean space I. Sci. Sinica 13(1964), 682-683.
  45. On complex analytic cycles and their real traces. Sci. Sinica 14(1965), 831-839.
  46. On critical sections of convex bodies. Sci. Sinica 14(1965), 1721-1728.
  47. Algebraic varieties with dual rational dissections. (in Chinese) Shuxue Jinzhan    8(1965), 402-409.
  48. The Chern characteristic classes on an algebraic variety. (in Chinese) Shuxue    Jinzhan 8(1965), 395-401.
  49. A mathematical problem in the design of integrated circuits, Math. in Practice and Theory, (1973) 20-40. (in Chinese).
  50. Planar imbedding of linear graphs, Kexue Tongbao, (1973) 226-228. (in Chinese).
  51. Homology classes that contain singularities of type Sk (in Chinese), Acta Math. Sinica, 17(1974), 28-37.
  52. On singularities of Sk-type, Acta Math. Sinica (1975) (in Chinese).
  53. On universal invariant forms, Acta Math. Sinica, 18(1975), 263-273 (in Chinese).
  54. A new functor in algebraic topology, Kexue Tongbao, 20(1975), 311-312 (in Chinese).
  55. Theory of I*-functor in algebraic topology - Real topology of homogeneous   spaces, Acta Math. Sinica 18(1975), 162-172 (in Chinese).
  56. Theory of I*-functor in algebraic topology - Real topology of fibre   squares, Sci. Sci. Sinica, 18(1975), 464-482.
  57. Theory of I*-functor in algebraic topology - Effective calculation and    axiomatization of I*-functor on complexes, Sci. Sinica, 19(1976), 647-664.
  58. The layout problem of printed circuits and integrated circuits, Appendix to    A theory of imbedding, immersion and isotopy of polytopes in a Euclidean space,    (1977) 213-261 (in Chinese).
  59. The out-in complementary principle, (in Chinese), in Achievements in Science and Technology of Ancient China (1977), 80-100.
  60. On the decision problem and the mechanization of theorem-proving in elementary geometry, Scientia Sinica 21 (1978) 159-172. Re-published in Automated Theorem Proving: After 25 Years (Eds. W.W. Bledsoe & D. W. Loveland), (1984) 213-234. Chinese version in Sci. Sinica, 20(1977), 507-516.
  61. Theory of I*-functor in algebraic topology- I*-functor of a fiber space(with Wang Qi-ming), Sci.Sinica, 21 (1978) 1-18.
  62. Mechanical theorem proving in elementary differential geometry ( in Chinese), Kexue Tongbao, 23(1978), 523-524.
  63. Layout problems in printed circuits and intergrated circuits (in Chinese), Appendix in Chinese version of [3], 213-261. 1979
  64. On the mechanization of theorem-proving in elementary differential geometry, Scientia Sinica, Math. Supplement (I), 94-102 (1979).(in Chinese).
  65. On the mechanization of theorem proving in elementary differential geometry (in Chinese),Sci. Sinica, Special Issue(I) on Math., 94-102. 1980.
  66. On calculability of I*-measure with respect to complex-union and other    related constructions, Kexue Tongbao, 25(1980) 196-198 (in Chinese);    Kexue Tongbao 25(1980), 185-188.
  67. de Rham-Sulliven measure of spaces and its calculability, in Proc. Chern    Symposium, (1980), 229-245.
  68. A constructive theory of algebraic topology - Part I. Notions of measure  and calculability, J. Systems Science and Math. Science. 1(1981), 53-68.
  69. Investigations on the Original Proofs about "Sea-Island Arithmetic", (in Chinese), in ``Nine Chapters in Arithmetic" and Liu Hui, Ed. Wu Wen-tsün, Beijing Normal University Press, Beijing, (1981) 58-75.
  70. Mechanical theorem proving in elementary geometry and differential geometry, in Proc.1980 Beijing DD-Symposium, Beijing, v.2, 1073-1092 (1982).
  71. On the double-difference theory in measurement-studies of ancient China with criticisms about methodology in study of history of mathematics, (in Chinese), in Monographs on History of Science and Technology, No. 8, Shanghai Science Press, Shanghai, (1982) 10-30.
  72. Toward mechanization of geometry --- Some comments on Hilbert's "Grundlagen der Geometrie", Acta Math.Scientia, 2 (1982) 125-138. Chinese version 126-136.
  73. Some remarks on mechanical theorem-proving in elementary  geometry, Acta Math. Scientia 3 (1983) 357-360.
  74. The out-in complementary principle, in Ancient China's Technology and Science, Foreign Languages Press, Beijing(1983), 66-89.
  75. de Rham theorem from constructive point of view, in Proc. 1981 Shanghai Symposium on Differential Geometry and Differential Equations, Science Press, Beijing, (1984) 497-528.
  76. Chern classes on algebraic varieties with arbitrary singularities, in Several Complex Variables, Birkhausser Boston, Mass., (1984) 247-249.
  77. Some recent advance in mechanical theorem-proving of geometries, in Automated Theorem Proving:After 25 Years (Eds.W.W.Bledsoe & D.W. Loveland), Contemp. Math., AMS, 29(1984) 235-242.
  78. Basic principles of mechanical theorem-proving in elementary geometries, J.Sys.Sci. & Math.Scis.,4 (1984) 207-235.  Re-published in J. Automated Reasoning, 2 (1986) 221-252.
  79. 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 (1984) 173-189.
  80. On zeros of algebraic equations --- an application of Ritt principle, Kexue Tongbao 31 (1986) 1-5. Chinese version, 30(1985), 881-883.
  81. On the planar imbedding of linear graphs I, J. Sys. Sci. & Math. Scis.,  5(1985), 290-302.
  82. The renaissance of constructive mathematics, (in Chinese), Adv. in Math.,14(1985) 334-339.
  83. On the planar imbedding of linear graphs II, J. Sys. Sci. & Math. Scis., 6(1986), 23-35.
  84. A mechanization method of geometry and its applications I. Distances, areas, and volumes in euclidean and non-euclidean geometries, Kuxue Tongbao  32 (1986) 436-440.
  85. A mechanization method of geometry I. Elementary geometry, Chinese Quart. J. Math., 1 (1986) 1-14, Errata and Addenda, ibid, 2 (1987) 20.
  86. A mechanization method of geometry and its applications I. Distances, areas, and volumes, J.Sys.Sci. & Math.Scis.,6 (1986) 204-216
  87. A general description of the SOLVER package system, (in Chinese), Math. in Practice and Theory, (1986 No.2), 32-39.
  88. Examples of applications of the SOLVER package system, (in Chinese), Math. in Practice and Theory, (1986 No.3), 1-11.
  89. Some remarks on jet-transformations, Bull. Soc. Math. Belgique,38 (1986) 409-414.
  90. Recenct studies of the history of Chinese mathematics, in Proc. ICM 1986, Amer. Math. Soc.,(1987) 1657-1667.
  91. On the Constructive and Mechanical characterictics of Chinese traditional mathematics in view of "Mathematical Treatise in Nine Chapters" of Qin Jiu-shao, (in Chinese), in Qin Jiu-shao and "Mathematical Treatise in Nine Chapters", Ed. Wu Wen-tsün, Beijing Normal University Press, Beijing, (1987) 73-88.
  92. On Chern numbers of algebraic varieties with arbitrary sigularities, Acta Math. Sinica, New Ser., 3, (1987) 227-238.
  93. A mechanization method of geometry and its applications II. Curve pairs of Bertrand type, Kuxue Tongbao  32 (1987) 585-588. Chinese version 1281-1284.
  94. On reducibility problem in mechanical theorem proving of elementary geometries, Chinese Quarterly J. of Math., 2 (1987) 1-19, also in MM-Res.Preprints, No.2, (1987) 18-36.
  95. A zero structure theorem for polynomial-equations-solving and its applications, MM-Res.Preprints, No.1 (1987) 2-12.
  96. Mechanical derivation of Newton's Gravitational Laws from Kepler's Laws, MM-Res. Preprints, No.1, (1987) 53-61.
  97. On the special features of constructiveness and mechanical characterof chinese traditional mathematics as viewed from ``Mathematics in Nine Chapters'', (in Chinese), In [10](1987),78-88.
  98. A mechanization method of geometry and its applications III. Mechanical proving of polynomial inequalities and equations-solving, MM-Res. Preprints, No.2, (1987) 1-17, also in Sys.Sci.& Math.Scis., 1 (1988) 1-17.
  99. A mechanization method of geometry and its applications IV. Some theorems in planar kinematics, Sys.Sci. & Math.Scis., 2 (1989) 97-109.
  100. 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.
  101. Some remarks on characteristic-set formation, MM-Res.Preprints, No.3 (1989) 27-29.
  102. A review and prospect of mechanical theorem proving, (in Chinese), in New Developments of Today Mathematics -- A Collection of Articles on Liu-hui Seminar of Mathematics, (Ed. Wu Wen-tsün), Anhui Science and Technology Press, Hefei, (1989) 181-188.
  103. On the generic zero and Chow basis of an irreducible  ascending set, MM-Res. Preprints, No.4 (1989) 1-21.
  104. A mechanization method of geometries and its applications V(with Wu Tianjiao). Solving transcendental equations by algebraic methods, MM-Res.Preprints, No.3 (1989) 30-32.
  105. A mechanization method of geometry and its applications VI. Solving inverse kinematic equations of PUMA-type robots, MM-Res. Preprints, N0.4 (1989) 49-54.
  106. On a projection theorem of quasi-varieties in  elimination theory, MM-Res. Preprints, No.4 (1989) 40-48. Also in Chinese Annals of Math., 11B (1990) 220-226.
  107. On the chemical equilibrium problem and equations-solving, MM-Res.Preprints, No.4 (1989) 1-21.  Also in Acta Math.Scientia, 10 (1990) 361-374.
  108. Decompostion theorems for the zero-set of an ordinary or differential polynomial set and their applications, IV int. conf. on Computer Algebra in Physical Research 1990, (Eds. D.V. Shirkov et al), (1991) 198-205.
  109. Automation of Theorem-Proving, MM-Res. Preprints, N0.5 (1990) 1-4.  Also in Workshop on Advanced Computers for Artificial Intelligence, Beijing (1990) 11-15.
  110. On the construction of Groebner basis of a polynomial ideal based on Riquier-Janet theory, MM-Res. Preprints, No.5 (1990) 5-22.  Also in Sys.Sci. & Math.Scis., 4 (1991) 193-207.
  111. A survey of developements of mathematics mechanization in China, in Chinese Mathematics into the 21st Century, (Ed. Wu Wen-tsün & Cheng Min-de), Peking University Press, Beijing (1991) 15-40.
  112. 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.
  113. On a finiteness theorem about optimization problems, MM-Res. Preprints, No. 8(1992) 1-18.
  114. A report on mechnical geometry theorem proving, Progress in Natural Science, 2 (1992) 1-17.
  115. On the char-set method and the linear equations method of non-linear polynomial equations-solving, in Proc. Intern. Workshop on Math. Mechanization(1992),101-109.
  116. Equations-solving and theorem-proving: Zero-set formulation and ideal formulation, Proc. Asian Math. Conf. 1992, 1-10.
  117. A mechanization method of equations-solving and theorem-proving,  Adv. in Comp. Res., 6(1992), 103-138.
  118. On problems involving inequalities, MM-Res. Preprints, No. 7(1992), 1-13.
  119. On a linear equation method of non-linear polynomial equations-solving, MM-Res. Preprints, No.6 (1991) 23-36.  Errata, loc.cit. No.7 (1992). Sys. Sci. & Math. Sci., 6(1993) 1-12.
  120. On the development of polynomial equations solving in China, Proc. 1991 Nankai seminar on Mathematics Mechanization, Singapore (1993)
  121. On a hybrid method of polynomial equations solving, MM-Res. Preprints, No. 9 (1993) 1-10.
  122. On Surface-fitting problem in CAGD, MM-Res. Preprints, No. 10 (1993) 1-10. 
  123. On a finiteness theorem about problems involving inequalities, Sys. Sci. & Math. Scis., 7 (1994)
  124. On the algebraic surface-fitting problem in CAGD, (in Chinese, with Wang Ding-kang), Mathematics in practice and theory, No. 3(1994), 26-31.
  125. Some remarks on factorization and GCD of multivariate polynomials, MM-Res. Preprints, No. 11(1994), 1-14.
  126. Char-set method of polynomial equation-solving and its applications, Proc. Asian Symposium on Computer Mathematics(1995), 11-21.
  127. Geometry problem-solving and its contemporary significance, in Proc. First Asian Tech. Conf., Assoc. of Math. Educators, Singapore, (1995), 67-62.
  128. Central configurations in planet motions and votex mothions, MM-Res. Preprints, No. 13(1995) 1-14
  129. On constructive algebraic geometry, MM-Res. Preprints, No. 16 (1998) 1-3.
  130. Optimization Problem in Technology and Education, Proc. Of ATCM'99, pp. 19-31, ATCM Inc, 1999.
  131. Mathematics Mechanization, Science Press/Kluwer Pub., 2000
  132. On Algebrico-Differential Equations-Solving,J. Sys. Sci. & Complexity, v. 17,No. 2,p. 153-163。
  133. On “Good” Basis of Polynomial Ideals, DESC 2004 Seminar on Diff. Eqs. with Symb. Computation 2004/4, p.1-4。
  134. 混合计算, (<<21世纪100个交叉科学难题>>)。
  135. 解方程今与昔,(<<科学与中国>> 2004, p.16-19)。
  136. 探索与实践-我的科学研究历程, (<<科学的力量>>2004, p.11-19)。
  137. 计算机时代的东方数学 (<<世纪机遇>>, 中国科学家人文论坛演讲录,路甬祥, 郑必坚编, 2004, p.181-194)。
  138. 计算机时代的脑力劳动机械化与科学技术现代化, (<<人工智能及其应用>>第三版, 2004, p.5-10)。
  139. 创新科研秉烛育人, 民族复兴建立功勋(<<科学新闻>>2004-18,p.4)。
  140. 纪念邓小平同志诞辰100周年(<<春天长在丰碑永存>>2004,p.140-143, 科学技术出版社)
  141. 推动数学界人才成长, (<<随中国科技腾飞>>, 2004, p.36)
  142. <<数学的魅力>>序(<<数学的魅力I>>, 2004)
  143. On "Good" Bases of Algebraico-Differential Ideals, Differential Equations with Symbolic Computation, 343-350, 2005
  144. On the Construction of Groebner Basis of a Polynomial Ideal Based on Riguien-Janet Theory, Differential Equations with Symbolic Computation, 351-368, 2005
  145. On Wintuer's conjecture about central configunations, Computer Algebra and Geometric Algebra with Applications, 1--4, 2005, SCI
  146. Inoubliables sourenirs de Rene Thom, Reue thom (1922-2002), 139-141, 2005
  147. 混合计算, 21世纪100个交叉科学难题, 656-657, 2005
  148. On a Finite Kernel Theorem for Polynomial-Type Optimization Problems and some of its Applications, ISSAC'05, 4, 2005

RETURN  HOME