Vol. 21, December, 2002
- Some Reflections on the Mechanization of Mental Labor in the Computer Age, Wu Wen-tsun,
1-5
- The Projection of Quasi Variety and Its Application on Geometric Theorem Proving, Chen
Xue-Feng an Wang Ding-Kang, 6-14
- Blending Quadric Surfaces Via Base Curve Method, Cheng Jin-San, 15-22
- QR Factoring to compute the GCD of Univariate Approximate Polynomials, Robert M.~Corless,
Stephen M.~Watt and Lihong Zhi, 23-38
- Construct Piecewise Hermite Interpolation Surface with Blending Methods, Gao Xiao-Shan
and Li Ming, 39-51
- Approximate Implicitization of Planar Parametric Curves using Quadratic Splines, Gao
Xiao-Shan and Li Ming, 52-63
- On the Number of Solutions for the P4P Problem, Gao Xiao-Shan and Tang Jian-Liang,
64-76
- Classification and Solving of Merge Patterns in Geometric Constraint Solving, Gao
Xiao-Shan and Zhang Gui-Fang, 77-93
- Geometric Constraint Solving via C-tree Decomposition, Gao Xiao-Shan and Zhang Gui-Fang,
94-111
- Expansions and Summations in Clifford Algebra, Li Hong-Bo, 112-154
- Algebraic Representation, Elimination and Expansion in Automated Geometric Theorem Proving,
Li Hong-Bo, 155-171
- Automated Theorem Proving in the Homogeneous Model with Clifford Bracket Algebra, Li
Hong-Bo, 172-180
- Analysis of the Involutive Characteristic Set Method for Algebraic PDE Systems, Meng
Xiao-Hui , Chen Yu-Fu and Gao Xiao-Shan,181-199
- Blending of Triangular Algebraic Surfaces, Shi He and Sun Yong-Li, 200-206
- On Blending of Cylinders, Shi He and Sun Yong-Li, 207-211
- Digital Proxy Blind Signature Schemes Based on DLP and ECDLP and its Applications, Tan
Zuo-Wen , Liu Zhuo-Jun and Tang Chun-Ming, 212-217
- The Non-interactive Equivocable Non-malleable Commitment and its Applications, Tang
Chun-Ming and Liu Zhuo-Jun, 218-229
- Displacement Structure in Computing Approximate GCD of Univariate Polynomials, Zhi
Li-Hong, 230-238
- An Complete Improved Linear 4-Point Algorithm for Camera Pose Determination, Zhi Li-Hong and Tang Jian-Liang, 239-249