首页| English| 中国科学院
当前位置:首页>新增>MM-Preprints>Vol. 2

Vol. 2, 1987

副标题:

时间:2016-01-14  来源:

Vol. 2, 1987

  • A Mechanization Method of Geometry and its Applications 3. Mechanical proving of polynomial inequalities and equations-solving, Wu Wen-Tsun
  • On Reducibility Problem in Mechanical Theorem Proving of Elementary Geometries, Wu Wen-Tsun
  • Transcendental Functions and Mechanical Theorem Proving in Elementary Geometries, Gao Xiao-Shan
  • On the Triangulation for any Finite Polynomial Set (I), Li Zi-Ming
  • A Method of Isolating Complex Roots of Polynomials --- An application of Wu-Ritt Principle, Liu Zhou-Jun
  • Algorithm of Decomposing High Degree Polynomials, Liu Zhou-Jun
  • A Decision Method for Definite Polynomial, Wang Dong-Ming
  • Geometry Theorems Proved Mechanically Using Wu's Method---Part on Euclidean Geometry, Wang Dong-Ming and Gao Xiao-Shan