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