发
表 文 章
- Note sur les produits essentiels
symétriques des espaces topologiques.
C. R. Acad. Sci. Paris 224, 1139-1141(1947).
- On the product of sphere bundles
and the duality theorem modulo two.
Ann. of Math. (2) 49, 641-653 (1948).
- 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).
- Sur les classes caractéristiques
d'un espace fibré en sphéres. C.
R. Acad. Sci. Paris 227, 582-584(1948).
- 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).
- 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).
- Sur la structure presque complexe
d'une variétè différentiable réelle.
C. R. Acad. Sci. Paris 228, 972-973(1949).
- Classes caractéristiques et
i-carrès d'une variétè. C. R. Acad.
Sci. Paris 230, 508-511(1950).
- Les i-carrés dans une variétè
grassmanniénne. C. R. Acad. Sci. Paris 230, 918-920(1950).
- Sur les puissances de Steenrod.
Colloque de Topologie de Strasbourg. 1951, no. IX, 9pp. La Bibliothéque Nationale et Universitaire de
Strasbourg, 1952.
- Topological invariants of new
type of finite polyhedrons. Acta Math.
Sinica 3, 261-290(1953).(in Chinese, English summary).
- 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.
- On squares in Grassmannian
manifolds. Acta Sci. Sinica 2, 91-115(1953). Amer. Math. Soc. Translations,
Ser. 2, 38(1964), 235-258.
- On squares in Grassmann
manifolds. J. Chinese Math. Soc. 2(1953) 205-230.
(in Chinese, English summary) 17-396.
- Proof of a certain conjecture of
H. Hopf, Acta Math. Sinica 4(1954), 491-500.
- ``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.
- 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.
- On Pontrjagin classes. IV. Acta
Math. Sinica 5(1955), 37-63.
(in Chinese, English summary). Amer. Math. Soc. Translations, Ser. 2, 92,
93-121.
- 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.
- 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.
- On the imbedding of polyhedrons
in Euclidean spaces. Bull. Acad. Polon. Sci.
C1. III. 4(1956)573-577.
- 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.
- On the $\Phi_p$-classes of a
topological space. Sci. Record (N. S.),
1(1957), 377-380.
- 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.
- 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.
- On the reduced products and the
reduced cyclic powers of a space. Jber
Deutsch. Math. Verein. 61(1958), Abt. 1, 65-75.
- On the dimension of a normal
space with countable base. Sci. Record
(N. S.) 2(1958), 65-69.
- On the isotopy of Cr-manifolds
of dimension (n) in Euclidean (2n+1)-space.
Sci. Record (N. S.) 2(1958), 271-275.
- On the realization of complexes
in Euclidean spaces. Sci. Sinica 7(1958),
365-387.
- 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.
- Topologie combinatoire et
invariants combinatoires. Colloq. Math. 7(1959), 1-8.
- On certain invariants of
cell-bundles. Sci. Record (N. S.) 3(1959), 137-142.
- A remark on the fundamental
theorem in the theory of games. Sci. Record (N.S.)
3(1959), 229-233.
- On the isotopy of a finite
complex in a Euclidean space. I, II. Sci.
Record (N.S.) 3(1959), 342-351.
- 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.
- 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.
- Essential equilibrium points of
$n$-person non-cooperative games(with Jiang Jia-he), Sci.Sinica, 12 (1962)
1307-1322.
- 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.
- On the imbedding of orientable
manifolds in a Euclidean space. Sci. Sinica
12(1963), 25-33.
- Rotations in Euclidean space. (in
Chinese) Shuxue Jinzhan 6(1963), 96-97.
- A theorem on immersion. Sci.
Sinica 13(1964), 160.
- On the immersion of $C^{\infty}$-3-manifolds
in a Euclidean space. Sci. Sinica 13(1964), 335-336.
- On the notion of imbedding
classes. Sci. Sinica 13(1964), 681-682.
- On the imbedding of manifolds in
a Euclidean space I. Sci. Sinica 13(1964),
682-683.
- On complex analytic cycles and
their real traces. Sci. Sinica 14(1965), 831-839.
- On critical sections of convex
bodies. Sci. Sinica 14(1965), 1721-1728.
- Algebraic varieties with dual
rational dissections. (in Chinese) Shuxue Jinzhan
8(1965), 402-409.
- The Chern characteristic classes
on an algebraic variety. (in Chinese) Shuxue
Jinzhan 8(1965), 395-401.
- A mathematical problem in the
design of integrated circuits, Math. in Practice and Theory, (1973) 20-40.
(in Chinese).
- Planar imbedding of linear
graphs, Kexue Tongbao, (1973) 226-228. (in Chinese).
- Homology classes that contain
singularities of type Sk (in Chinese), Acta Math. Sinica, 17(1974),
28-37.
- On singularities of Sk-type,
Acta Math. Sinica (1975) (in Chinese).
- On universal invariant forms,
Acta Math. Sinica, 18(1975), 263-273 (in Chinese).
- A new functor in algebraic
topology, Kexue Tongbao, 20(1975), 311-312 (in Chinese).
- Theory of I*-functor in
algebraic topology - Real topology of homogeneous
spaces, Acta Math. Sinica 18(1975), 162-172 (in Chinese).
- Theory of I*-functor in
algebraic topology - Real topology of fibre squares, Sci. Sci. Sinica, 18(1975), 464-482.
- Theory of I*-functor in
algebraic topology - Effective calculation and
axiomatization of I*-functor on complexes, Sci. Sinica, 19(1976),
647-664.
- 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).
- The out-in complementary
principle, (in Chinese), in Achievements in Science and Technology of
Ancient China (1977), 80-100.
- 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.
- Theory of I*-functor in
algebraic topology- I*-functor of a fiber space(with Wang Qi-ming),
Sci.Sinica, 21 (1978) 1-18.
- Mechanical theorem proving in
elementary differential geometry ( in Chinese), Kexue Tongbao, 23(1978),
523-524.
- Layout problems in printed
circuits and intergrated circuits (in Chinese), Appendix in Chinese version
of [3], 213-261. 1979
- On the mechanization of
theorem-proving in elementary differential geometry, Scientia Sinica, Math.
Supplement (I), 94-102 (1979).(in Chinese).
- On the mechanization of theorem
proving in elementary differential geometry (in Chinese),Sci. Sinica,
Special Issue(I) on Math., 94-102. 1980.
- 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.
- de Rham-Sulliven measure of
spaces and its calculability, in Proc. Chern
Symposium, (1980), 229-245.
- A constructive theory of
algebraic topology - Part I. Notions of measure
and calculability, J. Systems Science and Math. Science. 1(1981),
53-68.
- 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.
- Mechanical theorem proving in
elementary geometry and differential geometry, in Proc.1980 Beijing
DD-Symposium, Beijing, v.2, 1073-1092 (1982).
- 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.
- Toward mechanization of geometry
--- Some comments on Hilbert's "Grundlagen der Geometrie", Acta
Math.Scientia, 2 (1982) 125-138. Chinese version 126-136.
- Some remarks on mechanical
theorem-proving in elementary geometry,
Acta Math. Scientia 3 (1983) 357-360.
- The out-in complementary
principle, in Ancient China's Technology and Science, Foreign Languages
Press, Beijing(1983), 66-89.
- 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.
- Chern classes on algebraic
varieties with arbitrary singularities, in Several Complex Variables,
Birkhausser Boston, Mass., (1984) 247-249.
- 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.
- 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.
- 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.
- On zeros of algebraic equations
--- an application of Ritt principle, Kexue Tongbao 31 (1986) 1-5. Chinese
version, 30(1985), 881-883.
- On the planar imbedding of linear
graphs I, J. Sys. Sci. & Math. Scis., 5(1985), 290-302.
- The renaissance of constructive
mathematics, (in Chinese), Adv. in Math.,14(1985) 334-339.
- On the planar imbedding of linear
graphs II, J. Sys. Sci. & Math. Scis., 6(1986), 23-35.
- 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.
- A mechanization method of
geometry I. Elementary geometry, Chinese Quart. J. Math., 1 (1986) 1-14,
Errata and Addenda, ibid, 2 (1987) 20.
- A mechanization method of
geometry and its applications I. Distances, areas, and volumes, J.Sys.Sci. & Math.Scis.,6 (1986) 204-216
- A general description of the
SOLVER package system, (in Chinese), Math. in Practice and Theory, (1986
No.2), 32-39.
- Examples of applications of the
SOLVER package system, (in Chinese), Math. in Practice and Theory, (1986
No.3), 1-11.
- Some remarks on
jet-transformations, Bull. Soc. Math. Belgique,38 (1986) 409-414.
- Recenct studies of the history of
Chinese mathematics, in Proc. ICM 1986, Amer. Math. Soc.,(1987) 1657-1667.
- 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.
- On Chern numbers of algebraic
varieties with arbitrary sigularities, Acta Math. Sinica, New Ser., 3,
(1987) 227-238.
- A mechanization method of
geometry and its applications II. Curve pairs of Bertrand type, Kuxue
Tongbao 32 (1987) 585-588.
Chinese version 1281-1284.
- 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.
- A zero structure theorem for
polynomial-equations-solving and its applications, MM-Res.Preprints, No.1
(1987) 2-12.
- Mechanical derivation of Newton's
Gravitational Laws from Kepler's Laws, MM-Res. Preprints, No.1, (1987)
53-61.
- 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.
- 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.
- A mechanization method of
geometry and its applications IV. Some theorems in planar kinematics,
Sys.Sci. & Math.Scis., 2 (1989) 97-109.
- 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.
- Some remarks on
characteristic-set formation, MM-Res.Preprints, No.3 (1989) 27-29.
- 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.
- On the generic zero and Chow
basis of an irreducible ascending
set, MM-Res. Preprints, No.4
(1989) 1-21.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- On a finiteness theorem about
optimization problems, MM-Res. Preprints, No. 8(1992) 1-18.
- A report on mechnical geometry
theorem proving, Progress in Natural Science, 2 (1992) 1-17.
- 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.
- Equations-solving and
theorem-proving: Zero-set formulation and ideal formulation, Proc. Asian
Math. Conf. 1992, 1-10.
- A mechanization method of
equations-solving and theorem-proving, Adv. in Comp. Res., 6(1992), 103-138.
- On problems involving
inequalities, MM-Res. Preprints, No. 7(1992), 1-13.
- 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.
- On the development of polynomial
equations solving in China, Proc. 1991 Nankai seminar on Mathematics
Mechanization, Singapore (1993)
- On a hybrid method of polynomial
equations solving, MM-Res. Preprints, No. 9 (1993) 1-10.
- On Surface-fitting problem in
CAGD, MM-Res. Preprints, No. 10 (1993) 1-10.
- On a finiteness theorem about
problems involving inequalities, Sys. Sci. & Math. Scis., 7 (1994)
- On the algebraic surface-fitting
problem in CAGD, (in Chinese, with Wang Ding-kang), Mathematics in practice
and theory, No. 3(1994), 26-31.
- Some remarks on factorization and
GCD of multivariate polynomials, MM-Res. Preprints, No. 11(1994), 1-14.
- Char-set method of polynomial
equation-solving and its applications, Proc. Asian Symposium on Computer
Mathematics(1995), 11-21.
- Geometry problem-solving and its
contemporary significance, in Proc. First Asian Tech. Conf., Assoc. of Math.
Educators, Singapore, (1995), 67-62.
- Central configurations in planet
motions and votex mothions, MM-Res. Preprints, No. 13(1995) 1-14
- On constructive algebraic
geometry, MM-Res. Preprints, No. 16 (1998) 1-3.
- Optimization Problem in Technology and Education, Proc. Of ATCM'99, pp. 19-31, ATCM Inc, 1999.
- Mathematics Mechanization, Science Press/Kluwer Pub., 2000
- On Algebrico-Differential Equations-Solving,J. Sys. Sci. & Complexity, v. 17,No. 2,p. 153-163。
- On “Good” Basis of Polynomial Ideals, DESC 2004 Seminar on Diff. Eqs. with Symb. Computation 2004/4, p.1-4。
- 混合计算, (<<21世纪100个交叉科学难题>>)。
- 解方程今与昔,(<<科学与中国>> 2004, p.16-19)。
- 探索与实践-我的科学研究历程, (<<科学的力量>>2004, p.11-19)。
- 计算机时代的东方数学 (<<世纪机遇>>, 中国科学家人文论坛演讲录,路甬祥, 郑必坚编, 2004, p.181-194)。
- 计算机时代的脑力劳动机械化与科学技术现代化, (<<人工智能及其应用>>第三版, 2004, p.5-10)。
- 创新科研秉烛育人, 民族复兴建立功勋(<<科学新闻>>2004-18,p.4)。
- 纪念邓小平同志诞辰100周年(<<春天长在丰碑永存>>2004,p.140-143, 科学技术出版社)
- 推动数学界人才成长, (<<随中国科技腾飞>>, 2004, p.36)
- <<数学的魅力>>序(<<数学的魅力I>>, 2004)
- On "Good" Bases of Algebraico-Differential Ideals, Differential Equations with Symbolic Computation, 343-350, 2005
- On the Construction of Groebner Basis of a Polynomial Ideal Based on Riguien-Janet Theory, Differential Equations with Symbolic Computation, 351-368, 2005
- On Wintuer's conjecture about central configunations, Computer Algebra and Geometric Algebra with Applications, 1--4, 2005, SCI
- Inoubliables sourenirs de Rene Thom, Reue thom (1922-2002), 139-141, 2005
- 混合计算, 21世纪100个交叉科学难题, 656-657, 2005
- On a Finite Kernel Theorem for Polynomial-Type Optimization Problems and some of its Applications, ISSAC'05, 4, 2005
RETURN
HOME