首页
|
English
|
中国科学院
Vol. 31
Vol. 30
Vol. 29
Vol. 28
Vol. 27
Vol. 26
Vol. 25
Vol. 24
Vol. 23
Vol. 22
Vol. 21
Vol. 20
Vol. 19
Vol. 18
Vol. 17
Vol. 16
Vol. 15
Vol. 14
Vol. 13
Vol. 12
Vol. 11
Vol. 10
Vol. 9
Vol. 8
Vol. 7
Vol. 6
Vol. 5
Vol. 4
Vol. 3
Vol. 2
Vol. 1
当前位置:
首页
>
新增
>
MM-Preprints
>
Vol. 20
Vol. 20, December, 2001
副标题:
时间:2016-01-14 来源:
Vol. 20, December, 2001
Solving Spatial Basic Geometric Constraint Configurations with Locus Intersection,
Gao Xiao-Shan, Yang Wei-Qiang and Christoph M. Hoffmann,
1-22
Complete Solution Classification for the Perspective-Three-Point Problem,
Gao Xiao-Shan, Hou Xiao-Rong, Tang Jian-Liang and Cheng Hang-Fei,
23-48
3D Geometric Constraint Solving with Conicoid,
Jiang Kun, and Gao Xiao-Shan,
49-64
Incidence Theorem Proving with Cayley and Bracket Algebras,
Li Hongbo and Wu Yihong
, \ 65-124
Conic Theorem Proving with Cayley and Bracket Algebras,
Li Hongbo and Wu Yihong
, 125-180
Zeros of Holomorphic Functions,
Li Zhaohui and Zhang Jinhao
, 181-186
Real Root Isolation for Multiple Unknown Polynomial Systems,
Lu Zhengyi, He Bi, Luo Yong and Pan Lu
, 187-198
Decomposition of Algebraic Differential Polynomials,
Ma Yujie and Gao Xiao-Shan
, 199-208
Counting the Number of Solutions of Parametric Systems,
Wang Ding-Kang and Gao Xiao-Shan
, 209-220
A Special Central Configuration,
Wu Yuchun and Shi He
, 221-228
Hybrid Method for Nearest Singular Polynomials,
Zhi Lihong, Matu-Tarow Noda and Hiroshi Kai,
229-240
Approximate GCD of Multivariate Polynomials,
Zhi Lihong, Li Kai and Matu-Tarow Noda,
241-251
Copyright© 中国科学院数学机械化重点实验室
地址:北京市海淀区中关村东路55号 邮编:100190
电话:86- 10-82541851 传真:86-10-82541809
京ICP备05002806号-1