Welcome to ASCM 2007 : 15 to 17 DEC 2007 , Grand Plaza Park Hotel City Hall, Singapore
  General Info
  Call for Papers
  Program
  Information
  Other Conferences
  Links

Program Overview


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

 

 


Email Technical Problems | Email Program Committee | NUS Home | SoC | MySoC | Contact Us | Map of NUS

© Copyright 2001-06 National University of Singapore. All Rights Reserved.
Terms of Use | Privacy | Non-discrimination
Last modified on 21 Jun 2007 by SOC's WebTech