数学机械化  On the decision problem and the mechanization of theoremproving in elementary geometry, Scientia Sinica 21 (1978) 159172. Republished in Automated Theorem Proving: After 25 Years (Eds. W.W. Bledsoe & D. W. Loveland), (1984) 213234. Chinese version in Sci. Sinica, 20(1977), 507516.
 Mechanical theorem proving in elementary differential geometry ( in Chinese), Kexue Tongbao, 23(1978), 523524.
 On the mechanization of theoremproving in elementary differential geometry, Scientia Sinica, Math. Supplement (I), 94102 (1979).(in Chinese).
 On the mechanization of theorem proving in elementary differential geometry (in Chinese),Sci. Sinica, Special Issue(I) on Math., 94102. 1980.
 Mechanical theorem proving in elementary geometry and differential geometry, in Proc.1980 Beijing DDSymposium, Beijing, v.2, 10731092 (1982).
 Toward mechanization of geometry  Some comments on Hilbert's "Grundlagen der Geometrie", Acta Math.Scientia, 2 (1982) 125138. Chinese version 126136.
 Some remarks on mechanical theoremproving in elementary geometry, Acta Math. Scientia 3 (1983) 357360.
 Some recent advance in mechanical theoremproving of geometries, in Automated Theorem Proving: After 25 Years (Eds.W.W.Bledsoe & D.W. Loveland), Contemp. Math., AMS, 29(1984) 235242.
 Basic principles of mechanical theoremproving in elementary geometries, J.Sys.Sci. & Math.Scis.,4 (1984) 207235. Republished in J. Automated Reasoning, 2 (1986) 221252.
 A constructive theory of differential algebraic geometry based on works of J. F. Ritt with particular applications to mechanical theoremproving in differential geometries. Differential Geometry and Differential Equations, Lect. Notes in Math. No. 1255, Springer (1984) 173189.
 On zeros of algebraic equations  an application of Ritt principle, Kexue Tongbao 31 (1986) 15. Chinese version, 30(1985), 881883.
 A mechanization method of geometry and its applications I. Distances, areas, and volumes in euclidean and noneuclidean geometries, Kuxue Tongbao 32 (1986) 436440.
 A mechanization method of geometry I. Elementary geometry, Chinese Quart. J. Math., 1 (1986) 114, 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) 204216
 A general description of the SOLVER package system, (in Chinese), Math. in Practice and Theory, (1986 No.2), 3239.
 Examples of applications of the SOLVER package system, (in Chinese), Math. in Practice and Theory, (1986 No.3), 111.
 A mechanization method of geometry and its applications II. Curve pairs of Bertrand type, Kuxue Tongbao 32 (1987) 585588. Chinese version 12811284.
 On reducibility problem in mechanical theorem proving of elementary geometries, Chinese Quarterly J. of Math., 2 (1987) 119, also in MMRes.Preprints, No.2, (1987) 1836.
 A zero structure theorem for polynomialequationssolving and its applications, MMRes.Preprints, No.1 (1987) 212.
 Mechanical derivation of Newton's Gravitational Laws from Kepler's Laws, MMRes. Preprints, No.1, (1987) 5361.
 A mechanization method of geometry and its applications III. Mechanical proving of polynomial inequalities and equationssolving, MMRes. Preprints, No.2, (1987) 117, also in Sys.Sci.& Math.Scis., 1 (1988) 117.
 A mechanization method of geometry and its applications IV. Some theorems in planar kinematics, Sys.Sci. & Math.Scis., 2 (1989) 97109.
 On the foundation of algebraic differential geometry, MMRes. Preprints, No.3 (1989) 126, also in Sys.Sci.& Math.Scis., 2 (1989) 289312.
 Some remarks on characteristicset formation, MMRes.Preprints, No.3 (1989) 2729.
 A review and prospect of mechanical theorem proving, (in Chinese), in New Developments of Today Mathematics  A Collection of Articles on Liuhui Seminar of Mathematics, (Ed. Wu Wentsün), Anhui Science and Technology Press, Hefei, (1989) 181188.
 On the generic zero and Chow basis of an irreducible ascending set, MMRes. Preprints, No.4 (1989) 121.
 A mechanization method of geometries and its applications V(with Wu Tianjiao). Solving transcendental equations by algebraic methods, MMRes.Preprints, No.3 (1989) 3032.
 A mechanization method of geometry and its applications VI. Solving inverse kinematic equations of PUMAtype robots, MMRes. Preprints, N0.4 (1989) 4954.
 On a projection theorem of quasivarieties in elimination theory, MMRes. Preprints, No.4 (1989) 4048. Also in Chinese Annals of Math., 11B (1990) 220226.
 On the chemical equilibrium problem and equationssolving, MMRes.Preprints, No.4 (1989) 121. Also in Acta Math.Scientia, 10 (1990) 361374.
 Decomposition theorems for the zeroset 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) 198205.
 Automation of TheoremProving, MMRes. Preprints, N0.5 (1990) 14. Also in Workshop on Advanced Computers for Artificial Intelligence, Beijing (1990) 1115.
 On the construction of Groebner basis of a polynomial ideal based on RiquierJanet theory, MMRes. Preprints, No.5 (1990) 522. Also in Sys.Sci. & Math.Scis., 4 (1991) 193207.
 Mechanical theorem proving of differential geometries and some of its applications in mechanics, MMRes. Preprints, No.6 (1991) 122. Also in J. Automated Reasoning, 7 (1991) 171191.
 On a finiteness theorem about optimization problems, MMRes. Preprints, No. 8(1992) 118.
 A report on mechanical geometry theorem proving, Progress in Natural Science, 2 (1992) 117.
 On the charset method and the linear equations method of nonlinear polynomial equationssolving, in Proc. Intern. Workshop on Math. Mechanization(1992),101109.
 Equationssolving and theoremproving: Zeroset formulation and ideal formulation, Proc. Asian Math. Conf. 1992, 110.
 A mechanization method of equationssolving and theoremproving, Adv. in Comp. Res., 6(1992), 103138.
 On problems involving inequalities, MMRes. Preprints, No. 7(1992), 113.
 On a linear equation method of nonlinear polynomial equationssolving, MMRes. Preprints, No.6 (1991) 2336. Errata, loc.cit. No.7 (1992). Sys. Sci. & Math. Sci., 6(1993) 112.
 On a hybrid method of polynomial equations solving, MMRes. Preprints, No. 9 (1993) 110.
 On Surfacefitting problem in CAGD, MMRes. Preprints, No. 10 (1993) 110.
 On a finiteness theorem about problems involving inequalities, Sys. Sci. & Math. Scis., 7 (1994)
 On the algebraic surfacefitting problem in CAGD, (in Chinese, with Wang Dingkang), Mathematics in practice and theory, No. 3(1994), 2631.
 Some remarks on factorization and GCD of multivariate polynomials, MMRes. Preprints, No. 11(1994), 114.
 Charset method of polynomial equationsolving and its applications, Proc. Asian Symposium on Computer Mathematics(1995), 1121.
 Geometry problemsolving and its contemporary significance, in Proc. First Asian Tech. Conf., Assoc. of Math. Educators, Singapore, (1995), 6762.
 Central configurations in planet motions and votex motions, MMRes. Preprints, No. 13(1995) 114
 On constructive algebraic geometry, MMRes. Preprints, No. 16 (1998) 13.
 Optimization Problem in Technology and Education, Proc. Of ATCM'99, pp. 1931, ATCM Inc, 1999.
 Mathematics Mechanization, Science Press/Kluwer Pub., 2000
 On AlgebricoDifferential EquationsSolving, J. Sys. Sci. & Complexity, v. 17,No. 2,p. 153163。
 On “Good” Basis of Polynomial Ideals, DESC 2004 Seminar on Diff. Eqs. with Symb. Computation 2004/4, p.14。
 On "Good" Bases of AlgebraicoDifferential Ideals, Differential Equations with Symbolic Computation, 343350, 2005
 On the Construction of Groebner Basis of a Polynomial Ideal Based on RiguienJanet Theory, Differential Equations with Symbolic Computation, 351368, 2005
 On Winter's conjecture about central configurations, Computer Algebra and Geometric Algebra with Applications, 14, 2005, SCI
 On a Finite Kernel Theorem for PolynomialType Optimization Problems and some of its Applications, ISSAC'05, 4, 2005
 A remark on the fundamental theorem in the theory of games. Sci. Record (N.S.) 3(1959), 229233.
