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

Vol. 5, 1990

副标题:

时间:2016-01-14  来源:

Vol. 5, 1990

  • Automation of Theorem-Proving, Wu Wen-Tsun
  • On the Construction of Groebner Basis of a Polynomial Ideal Based on Riquier-Janet Theory, Wu Wen-Tsun
  • A Modified Version of An Algorithm for Solving Multivariate Polynomial System, Huang Yu-Zhen and Wu Wen-Da
  • On the Characteristic Set of Elementary Symmetric Polynomial Systems, Liu Zhuo-Jun
  • On One Ulam's Fixed Point Problem, Liu Zhuo-Jun
  • The Finite Basis of Irreducible Ascending Set, Shi He
  • The Robustness of Pole Assignment, Shi He
  • A Mechanization Proving of A Group of Space Geometry Problems, Wang Ding-Kang
  • Zero Structure Decompositions and the Dimension Theorem, Chou Shang-Ching and Gao Xiao-Shan
  • Techniques for Ritt-Wu's Decomposition Algorithm, Chou Shang-Ching and Gao Xiao-Shan
  • A Note on the Termination of Zero Decomposition Algorithms, Wang Dong-Ming