Sunday 17th December
15:00- | Registration |
17:00-19:00 | Reception Party |
Monday 18th December
09:00-09:40 | Opening Ceremony |
09:40-10:40 | Invited Talk: Resolution of Polynomial Systems by Daniel Lazard (Université Paris VI, France) |
10:40-11:00 | Coffee Break |
11:00-11:30 | Approximate GCD of Multivariate Polynomials by L. H. Zhi and M.-T. Noda (Japan) |
11:30-12:00 | Subresultants with the Bézout Matrix by X. Hou and D. Wang (China and France) |
12:00-13:00 | Lunch |
13:00-13:30 | Parallel Coset Enumeration Using Threads by G. Havas and C. Ramsay (Australia) |
13:30-14:00 | Generating Power Series of Coloured Polylogarithm Functions and Drinfel'd Associator by M. Bigotte, G. Jacob, N. E. Oussous, and M. Petitot (France) |
14:00-14:30 | Plotting Algebraic Space Curves by Cluster Computing by W. Schreiner, C. Mittermaier, and F. Winkler (Austria) |
14:30-15:00 | Optimally Extending Bistandard Graphs on the Orthogonal Grid by T. Calamoneri, R. Petreschi, and Y. Liu (Italy and China) |
15:00-15:30 | Coffee Break |
15:30-15:50 | Gröbner Bases in Polynomial Rings over Von Neumann Regular Rings by Y. Sato and A. Suzuki (Japan) |
15:50-16:10 | Another Attempt for Parallel Computation of Characteristic Sets by I. A. Ajwa, P. S. Wang, and D. Lin (USA and China) |
16:10-16:30 | Zero Decomposition Algorithms for Systems of Polynomial Equations by D. K. Wang (China) |
16:30-16:50 | Integer Roots for Integer-Power-Content Calculations by D. J. Jeffrey, M. W. Giesbrecht, and R. M. Corless (Canada) |
16:50-17:10 | Semi-Algebraic Approach to Piano Movers' Problem by N. Tongsiri and D. Richardson (England) |
17:10-17:30 | One-Dimensional Radio Broadcast Problem by S. Fujita (Japan) |
18:00-21:00 | Conference Dinner |
Tuesday 19th December
09:00-10:00 | Invited Talk: Single Axioms: With and Without Computers by William McCune (Argonne National Laboratory, USA) |
10:00-10:30 | Coffee Break |
10:30-11:00 | Homomorphism Theorem and Unreachability for Omega Rewriting Systems by K. Akama, H. Mabuchi, and Y. Shigeta (Japan) |
11:00-11:30 | Logic Programming --- Taking Advantage of Symmetry by J. Wu (Germany) |
11:30-12:00 | The Degree of Certainty in Automated Uncertainty Reasoning by G. Hu (China) |
12:00-13:00 | Lunch |
13:00-13:30 | Efficient Implicitization of Rational Surfaces by Moving Planes by M. Zhang, R. Goldman, and E. W. Chionh (USA and Singapore) |
13:30-14:00 | Fast Computation of Distance between Two Disjoint 2D Convex Regions with Curved Boundaries by W. Wang, B. A. Barsky, and X. Li (China and USA) |
14:00-14:30 | G1 Continuous Conditions of Bicubic B-spline Surfaces by X. Shi and Y. Zhao (China) |
14:30-15:00 | Ordering in Solving Systems of Equations by K. Jiang and X.-S. Gao (China) |
15:00-15:30 | Coffee Break |
15:30-16:00 | Automated Theorem Proving in Projective Geometry with Bracket Algebra by H. Li and Y. Wu (China) |
16:00-16:30 | Equi-Cevaline Points of Triangles by L. Yang and Z. Zeng (China) |
16:30-16:50 | Higher Order Pre-Unification on Intuitionistic Proof Nets by S. Matsuoka (Japan) |
16:50-17:10 | Quantum Self-Dual Codes and Symmetric Matrices by V. D. Tonchev (USA) |
17:10-17:30 | A Stability and Diversity Analysis on a Mathematical Model of the Interaction between HIV and T-Cell CD4+ by Y. Ishida (Japan) |
Wednesday 20th December
09:00-10:00 | Invited Talk: Extension of Mathematics Mechanization Theory in Algebraic Case to Differential Case by Wen-Tsün Wu (Chinese Academy of Sciences, China) |
10:00-10:30 | Coffee Break |
10:30-11:00 | On the Differential-Integral Analogue of Zeilberger's Algorithm to Rational Functions by H. Q. Le (Canada) |
11:00-11:30 | A Computer Algebra Approach for Solving Singularly Perturbed Initial Value Problems by R. Khanin (UK) |
11:30-12:00 | Travelling Wave Solutions to the Two-Dimensional Dissipative-Dispersive Nonlinear System with Maple by Z.-B. Li (China) |
12:00-13:00 | Lunch |
13:00-13:30 | Algebraic Surface Blending Using Wu's Method by F. Chen, J. Deng, and Y. Feng (China) |
13:30-14:00 | Filling Holes with Piecewise Algebraic Surfaces by C. Chen, F. Chen, J. Deng, and Y. Feng (China) |
14:00-14:30 | Global Superconvergence for Blending Surfaces by Boundary Penalty plus Hybrid FEMs by Z. C. Li and N. N. Yan (China) |
14:30-15:00 | Determinant Formulas for Inhomogeneous Linear Differential, Difference and q-Difference Equations by Z. Li (China) |
15:00-15:30 | Coffee Break |
15:30-16:00 | Some Conclusions for (2+1)-Dimensional Generalized KP Equation by Z.-Y. Yan and H.-Q. Zhang (China) |
16:00-16:30 | Darboux Transformation and Soliton-Like Solutions for Dispersive Long Wave Equations by E. Fan (China) |
16:30-17:00 | Local Geometric Structures and Bifurcations of a Polynomial Differential System from a General Multi-Molecular Reaction by X. Hou, R. Yan, and W. Zhang (China) |
17:00-17:20 | Reduced Form of Yang-Mills Equations of SU(2) on R(2,2) by H. Shi (China) |
17:20-17:40 | A Parallel Approach of the Constrained Normal Form of a Perturbed Keplerian Hamiltonian by A. Blaga (France) |
Thursday 21st December
09:00-10:00 | Invited Talk: Exactly 20 Years of Maple by Gaston H. Gonnet (Federal Institute of Technology Zurich, Switzerland) |
10:00-10:30 | Coffee Break |
10:30-11:00 | Dragonfly: A Java-Based IAMC Client Prototype by W. Liao and P. S. Wang (USA) |
11:00-11:20 | The Mathematical Software Implementation for Computational Algebra and Number Theory by M. Kolodnytsky, A. Kovalchuk, S. Kuryata, and V. Levitsky (Ukraine) |
11:20-11:40 | Mathematical Computing on Network by L. Li and X. Zou (China) |
12:00-13:00 | Lunch |
Afternoon | Excursion |