DAY 1 : Saturday , 15 DEC 2007
TIME |
|
0830 |
Registration |
0900 |
Invited talk - Rida T. Farouki
Minkowski geometric algebraa of complex sets --- theory, alg., applications |
1000 |
Break |
1030 |
Papers 11, 53, 62, 08 :
11 Polynomial division in Lagrange and Bernstein basis
53 An algorithm for transforming regular chain into normal chain
62 Floating point Grobner base comp. with ill-conditionedness estimation
08 Comp. diff-diff dim. poly. using rel. Grobner bases in diff-diff modules
|
1230 |
Lunch |
1400 |
Papers 45, 49 :
45 On the computation of elimination ideals of boolean polynomial rings
49 Computer search for large sets of idempotent quasigroups
|
1500 |
Break |
1530 |
Papers 22, 68, 10, 31:
22 An interpolation method that minimizes an energy integral of frac. order
68 Practical and theoretical issues for the computation of generalized ...
10 Symbolic solution to magnetohydrodynamic Hiemenz flow in porous media
31 An effecient 4th order implicit Runge-Kutta alg. for 2nd order systems |
1730 |
End |
|
|
DAY 2 : Sunday , 16 DEC 2007
TIME |
|
0900 |
Invited talk - Xiaoyun Wang
Some Mathematical Problems in Crypanalysis |
1000 |
Break |
1030 |
All-posters |
1230 |
Lunch |
1400 |
All-posters |
1500 |
Break |
1530 |
Papers 16, 37, 57, 19 :
16 Local similarity sol. for laminar boundary layer flow along a moving ...
37 A method and its impl. for constructing backlund transformations to ...
57 Invariant necessary and sufficient conditions of factorizations of ...
19 Hamming graphs and mesh of d-ary trees are G-graphs
|
1730 |
End |
1900 |
Banquet at Raffles City Convention Centre (Tel: 6431-5587) |
DAY 3 : Monday , 17 DEC 2007
TIME |
|
0900 |
Invited talk - Georges Gonthier:
The Four-Color Theorem: Engineering of a Formal Proof |
1000 |
Break |
1030 |
Papers 27, 38, 20, 56:
27 Properties of ascending chains for partial difference poly. systems
38 A modified Ven der Waerden alg. to decompose alg. var. as irr. ones
20 Stability of GPBiCG_AR method based on minimization of asso. residual
56 Regular decompositions |
1230 |
Lunch |
1400 |
Papers 30, 43
30 Efficient algorithms for computing Noether normalization
43 Evaluation of a Java computer algebra system |
1500 |
Break |
1530 |
Papers 58, 66, 74:
58 A method for verifying the semi-definiteness of homo. sysmmetric poly.
66 The maximality of the Dixon matrix on corner-cut monomial supports
74 Rectifying transformations and a quantifier elimination problem |
1700 |
End |
|