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

Vol. 4, 1989

副标题:

时间:2016-01-14  来源:

Vol. 4, 1989

  • On the Generic Zero and Chow Basis of an Irreducible Ascending Set, Wu Wen-Tsun
  • On the Chemical Equilibrium Problem and Equations-Solving, Wu Wen-Tsun
  • On a Projection Theorem of Quasi-Varieties in Elimination Theory, Wu Wen-Tsun
  • A Mechanization Method of Geometry and its Applications 6. Solving Inverse Kinematic Equations of PUMA-Type Robots (A Sketch), Wu Wen-Tsun
  • Automatic Implicitization of Parametric Objects, Li Zi-Ming
  • An Algorithm on Finding All Isolated Zeros of Polynomial Equations, Liu Zhuo-Jun
  • On the Resultant Formula for Mechanical Theorem Proving, Shi He
  • The Pole Assignment of Linear Systems, Shi He
  • On Computing the Multiplicity of Root, Wu Jing-Chun and Wu Wen-Da
  • Mechanical Theorem Proving in Differential Geometry I. Space Curves, Chou Shang-Ching and Gao Xiao-Shan
  • A Method for Determining the Finite Basis of an Ideal from Its Characteristic Set with Application to Irreducible Decomposition of Algebraic Varieties, Wang Dong-Ming