首页
|
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. 18
Vol. 18, December, 1999
副标题:
时间:2016-01-14 来源:
Vol. 18, December, 1999
Completion of an Index Vector Set in Differential Algebra
,
Yu-Fu Chen and Hong-Qing Zhang,
1-8
Vector Representations of Involutive Divisions
,
Yu-Fu Chen and Xiao-Shan Gao,
9-22
Computations with Differential Rational Parametric Equations
,
Xiao-Shan Gao,
23-29
Geometric Constraint Solving with Conic
,
Xiao-Shan Gao and Kun Jiang,
30-47
Geometric Constraint Solving with Linkages and Geometric Method for Polynomial Equations-Solving
,
Xiao-Shan Gao and Chang-Cai Zhu,
48-58
“Russian Killer” No. 2: A Challenging Geometric Theorem with Human and Machine Proofs
,
Xiaorong Hou, Hongbo Li, Dongming Wang and Lu Yang,
59-71
Hyperbolic Conformal Geometry with Clifford Algebra
,
Hongbo Li,
72-83
Automated Ordering for Automated Theorem Proving in Elementary Geometry – Degree of Freedom Analysis Method
,
Hongbo Li and Mingteh Cheng,
84-97
Spherical Conformal Geometry with Geometric Algebra
,
Hongbo Li, David Hestenes and Alyn Rockwood,
98-109
A Universal Model for Conformal Geometries of Euclidean, Spherical and Double-Hyperbolic Spaces
,
Hongbo Li, David Hestenes and Alyn Rockwood,
110-130
Coordinate-Free Projective Geometry for Computer Vision
,
Hongbo Li and Gerald Sommeri,
131-165
Rational Solutions of Riccati-like Partial Differential Equations
,
Ziming Li and Fritz Schwarz,
166-187
Cohomology of special 128-groups
,
Yujie Ma,
188-192
Reduced form of Yang-Mills equation of SU(3) on R4,0
,
Shi He and Wu Yuchun,
193-199
Zero Decomposition Algorithms for System of Polynomial Equations
,
Dingkang Wang
, 200-207
L¨uroth’s Theorem in Differential Case
,
Tao Xu and Xiao-Shan Gao,
208-211
Development of An Object-Oriented Number System
,
Hong Yang, Zhuo-Jun Liu and Dong-Dai Lin,
212-219
Copyright© 中国科学院数学机械化重点实验室
地址:北京市海淀区中关村东路55号 邮编:100190
电话:86- 10-82541851 传真:86-10-82541809
京ICP备05002806号-1