Workshop on Geometric Constraint Solving

 Thursday, October 23, 2003

 Room 110, Morningside Center for Mathematics

 PROGRAM

 08:30 – 08:40 Welcome and Opening Remarks

08:40 – 09:10 Robert Joan-Arinyo: Tools to Deal with Under-constrained Geometric Constraint Graphs

09:10 – 09:40 Liping Chen Singularity Analysis of Geometric Constraint System

09:40 – 10:10 Dominique Michelucci Intrinsic Formulations of Geometric Constraints

10:10 – 10:40 Lu Yang Solving Geometric Constraints with Distance-Based Global Coordinate System

10:40 – 11:00 Tea break

11:00 – 11:30 Ching-Shoei Chiang Variable-Radius Circles in Constructive Geometric Constraint Solving

11:30 – 12:00 Pascal Schreck About the Lebesgue Method.

12:00 – 12:30 Xiao-Shan Gao Decomposition and Merge for Geometric Constraint

12:40 – Lunch at fourth floor of the Wu-Ke Hotel Restaurant Registration at

 • 2PM-8PM, October 22, at the Wu-Ke Hotel Lobby.

• 8AM-6PM, October 23, outside Conference Room 212 at the second floor of The Condensed Matter General Building.

• 8AM-10AM, October 24, outside Conference Room 212 at the second floor of The Condensed Matter General Building.

The Sixth Asian Symposium on Computer Mathematics

 October 23–25, 2003

 PROGRAM

All lectures will take place in Conference Room 212 at the second floor of The Condensed Matter General Building. Speakers should note that the allotted time includes five minutes for questions and change over.

 Thursday, October 23

14:00 – 14:10 Welcome and Opening Remarks

14:10 – 18:00 Session I

 14:10 – 14:40 Ciro Ciliberto, Francesca Cioffi, Rick Miranda, Ferruccio Orecchia Bivariate Hermite Interpolation and Linear Systems of Plane Curves with Base Fat Points

14:40 – 15:10 Falai Chen, Lin Deng Interval Parametrization of Planar Algebraic Curves (presented by Dr. Jiansong Deng)

15:10 – 15:40 Jinsan Chen Blending Quadric Surfaces via a Base Curve Method

15:40 – 16:30 Tea Break and POSTER SESSION

16:30 – 17:00 Hongbo Li, Yi Cheng A Bracket Method for Judging the Intersection of Convex Bodies

17:00 – 17:30 Fangling Zeng, Falai Chen Degree Reduction of Rational Curves by µ-Bases

17:30 – 18:00 Nor’Aini Aris, Ali And Rahman On the Division of Generalized Polynomials

18:30 – 20:30 Reception party at Fourth floor of the Wu-Ke Hotel Restaurant

Friday, October 24

8:30 – 9:30 Invited talk Deepak Kapur Multivariate Resultants based on Cayley-Dixon’s Method

09:30 – 09:50 Tea Break

09:50 – 12:10 Session II

09:50 – 10:20 Mao-Ching Foo, Eng-Wee Chionh Corner Point Pasting and Dixon A-resultant Quotients

10:20 – 10:50 Iias Kotsireas, Edmond Lau Implicitization of Polynomial Curves

10:50 – 11:10 Tea Break

11:10 – 11:40 Yosuke Sato, Akira Suzuki, Katsusuke Nabeshima Discrete Comprehensive Gr¨obner Bases II

11:40 – 12:10 Xiao-Shan Gao and Dinglang Wang Zero Decomposition Theorems for Counting the Number of Solutions for Parametric Equation Systems

12:10 – 13:30 Lunch at fourth floor of the Wu-Ke Hotel Restaurant

13:30 – 15:50 Session III

13:30 – 14:00 Lihong Zhi Displacement Structure in Computing Approximate GCD of Univariate Polynomials

14:00 – 14:30 Ming Zhang, R. Allen White A Molecular Inverse Kinematics Problem: An Approximation Approach and Challenges

14:30 – 14:50 Tea Break

14:50 – 15:20 Hung-Tsai Huang, Zi-Cai Li, Aihui Zhou Global Superconvergence of Biquadratic Lagrange Elements for Poisson’s Equation

15:20 – 15:50 K. Hazaveh, D.J. Jeffrey, G.J. Reid, S.M. Watt, A.D. Wittkopf An Exploration of Homotopy Solving in Maple

16:00 – 20:00 Conference Dinner at the Summer Palace

Saturday October 25

08:30 – 09:30 Invited Talk Nobuki Takayama Algebraic Algorithms for D-modules and Numerical Analysis

09:30 – 09:50 Tea Break

09:50 – 12:10 Session IV

09:50 – 10:20 M. Hickman, W. Hereman Densities and Fluxes of Differential-Difference Equations

10:20 – 10:50 Engui Fan A Series of Exact Solutions of Two Extended Coupled Ito Systems

10:50 – 11:10 Tea Break

11:10 – 11:40 Fuding Xie, Hongqing Zhang, Yong Chen, B. Li Application of Wu-Ritt Differential Elimination Method in Painlev´e Test

11:40 – 12:10 V. Houseaux, G. Jacob, N.E. Oussous, M. Petitot A Complete Maple Package for Noncommutative Rational Power Series    

12:10 – 13:20 Lunch at fourth floor of the Wu-Ke Hotel Restaurant

13:30 – 19:00 Sightseeing at Great Wall

19:00 – 21:00 Dinner.