您的位置：首页 > 学术思想
数学机械化论文
发布时间：2019-04-30 来源： 【字号：小　中　大】
　　

　　  

　　数学机械化 

  1. 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.
  2. Mechanical theorem proving in elementary differential geometry ( in Chinese), Kexue Tongbao, 23(1978), 523-524.
  3. On the mechanization of theorem-proving in elementary differential geometry, Scientia Sinica, Math. Supplement (I), 94-102 (1979).(in Chinese).
  4. On the mechanization of theorem proving in elementary differential geometry (in Chinese),Sci. Sinica, Special Issue(I) on Math., 94-102. 1980.
  5. Mechanical theorem proving in elementary geometry and differential geometry, in Proc.1980 Beijing DD-Symposium, Beijing, v.2, 1073-1092 (1982).
  6. Toward mechanization of geometry --- Some comments on Hilbert's "Grundlagen der Geometrie", Acta Math.Scientia, 2 (1982) 125-138. Chinese version 126-136.
  7. Some remarks on mechanical theorem-proving in elementary geometry, Acta Math. Scientia 3 (1983) 357-360.
  8. 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.
  9. 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.
  10. 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.
  11. On zeros of algebraic equations --- an application of Ritt principle, Kexue Tongbao 31 (1986) 1-5. Chinese version, 30(1985), 881-883.
  12. 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.
  13. A mechanization method of geometry I. Elementary geometry, Chinese Quart. J. Math., 1 (1986) 1-14, Errata and Addenda, ibid, 2 (1987) 20.
  14. A mechanization method of geometry and its applications I. Distances, areas, and volumes, J.Sys.Sci. & Math.Scis.,6 (1986) 204-216
  15. A general description of the SOLVER package system, (in Chinese), Math. in Practice and Theory, (1986 No.2), 32-39.
  16. Examples of applications of the SOLVER package system, (in Chinese), Math. in Practice and Theory, (1986 No.3), 1-11.
  17. A mechanization method of geometry and its applications II. Curve pairs of Bertrand type, Kuxue Tongbao  32 (1987) 585-588. Chinese version 1281-1284.
  18. 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.
  19. A zero structure theorem for polynomial-equations-solving and its applications, MM-Res.Preprints, No.1 (1987) 2-12.
  20. Mechanical derivation of Newton's Gravitational Laws from Kepler's Laws, MM-Res. Preprints, No.1, (1987) 53-61.
  21. 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.
  22. A mechanization method of geometry and its applications IV. Some theorems in planar kinematics, Sys.Sci. & Math.Scis., 2 (1989) 97-109.
  23. 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.
  24. Some remarks on characteristic-set formation, MM-Res.Preprints, No.3 (1989) 27-29.
  25. 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.
  26. On the generic zero and Chow basis of an irreducible ascending set, MM-Res. Preprints, No.4 (1989) 1-21.
  27. 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.
  28. 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.
  29. 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.
  30. 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.
  31. Decomposition 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.
  32. 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.
  33. 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.
  34. 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.
  35. On a finiteness theorem about optimization problems, MM-Res. Preprints, No. 8(1992) 1-18.
  36. A report on mechanical geometry theorem proving, Progress in Natural Science, 2 (1992) 1-17.
  37. 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.
  38. Equations-solving and theorem-proving: Zero-set formulation and ideal formulation, Proc. Asian Math. Conf. 1992, 1-10.
  39. A mechanization method of equations-solving and theorem-proving, Adv. in Comp. Res., 6(1992), 103-138.
  40. On problems involving inequalities, MM-Res. Preprints, No. 7(1992), 1-13.
  41. 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.
  42. On a hybrid method of polynomial equations solving, MM-Res. Preprints, No. 9 (1993) 1-10.
  43. On Surface-fitting problem in CAGD, MM-Res. Preprints, No. 10 (1993) 1-10.
  44. On a finiteness theorem about problems involving inequalities, Sys. Sci. & Math. Scis., 7 (1994)
  45. On the algebraic surface-fitting problem in CAGD, (in Chinese, with Wang Ding-kang), Mathematics in practice and theory, No. 3(1994), 26-31.
  46. Some remarks on factorization and GCD of multivariate polynomials, MM-Res. Preprints, No. 11(1994), 1-14.
  47. Char-set method of polynomial equation-solving and its applications, Proc. Asian Symposium on Computer Mathematics(1995), 11-21.
  48. Geometry problem-solving and its contemporary significance, in Proc. First Asian Tech. Conf., Assoc. of Math. Educators, Singapore, (1995), 67-62.
  49. Central configurations in planet motions and votex motions, MM-Res. Preprints, No. 13(1995) 1-14
  50. On constructive algebraic geometry, MM-Res. Preprints, No. 16 (1998) 1-3.
  51. Optimization Problem in Technology and Education, Proc. Of ATCM'99, pp. 19-31, ATCM Inc, 1999.
  52. Mathematics Mechanization, Science Press/Kluwer Pub., 2000
  53. On Algebrico-Differential Equations-Solving, J. Sys. Sci. & Complexity, v. 17,No. 2,p. 153-163。
  54. On “Good” Basis of Polynomial Ideals, DESC 2004 Seminar on Diff. Eqs. with Symb. Computation 2004/4, p.1-4。
  55. On "Good" Bases of Algebraico-Differential Ideals, Differential Equations with Symbolic Computation, 343-350, 2005
  56. On the Construction of Groebner Basis of a Polynomial Ideal Based on Riguien-Janet Theory, Differential Equations with Symbolic Computation, 351-368, 2005
  57. On Winter's conjecture about central configurations, Computer Algebra and Geometric Algebra with Applications, 1--4, 2005, SCI
  58. On a Finite Kernel Theorem for Polynomial-Type Optimization Problems and some of its Applications, ISSAC'05, 4, 2005
  59. A remark on the fundamental theorem in the theory of games. Sci. Record (N.S.)    3(1959), 229-233.
关闭窗口
备案序号：京ICP备05002857号 联系我们 电话：010-82541851 邮箱：wu-commemorate@amss.ac.cn