Sep 26 |
||

13:00 - 13:10 | Matu-Tarow Noda | Opening address by the general chair |

[Invited Talk I] | ||

Masayuki Noro, Chair | ||

13:10 - 14:10 | Jean-Charles Faug¨¨re | Finding all the solutions of cyclic 9 using Gröbner basis techniques. |

[Algorithms in Algebraic Geometry
I] | ||

Xiao-Shan Gao, Chair | ||

14:30 - 15:00 | Bican Xia and Lu Yang | An effective algorithm for isolating the real solutions of semi-algebraic systems and its applications |

15:00 - 15:30 | Jimin Wang, Lian Li and Fuding Xie | Deciding inclusion of differential algebraic quasi-varieties |

15:30 - 16:00 | Daniel Lazard | On the specification for solvers of polynomial systems |

16:00 - 16:15 | Break | |

[Algorithms in Algebraic Geometry
II] | ||

Nobuki Takayama, Chair | ||

16:15 - 16:45 | Dongming Wang | A generalized algorithm for computing characteristic sets |

16:45 - 17:15 | Yuji Kondoh, Tomokatsu Saito, and Taku Takeshima | A new algorithm for real roots of a zero-dimensional system by a linear separating map |

17:15 - 17:45 | Notake Yoshio, Hiroshi Kai and Matu-Tarow Noda | Symbolic-numeric computations of Wu's method: comparison of the cut-off method and the stabilization techniques |

19:00 - | [Banquet (joint with JSSAC)] | |

. | ||

Sep 27 |
||

9:00 - 12:30 | [Little Excursion] | |

[Invited Talk II] | ||

Kazuhiro Yokoyama, Chair | ||

13:30 - 14:30 | Erich Kaltofen (by video) | On the complexity of computing determinants |

[Computer Mathematics Environments
I] | ||

Hirokazu Murao, Chair | ||

14:45 - 15:15 | Kai Li, Lihong Zhi, and Matu-Tarow Noda | On the construction of PSE for GCD computation |

15:15 - 15:45 | Hiroyuki Sawada and Xiu-Tian Yan | Application of Gröbner Base and quantifier elimination in engineering design: an introduction for engineers |

15:45 - 16:15 | Masahide Maekawa, Masayuki Noro, Nobuki Takayama, Yasushi Tamura, and Katsuyoshi Ohara | The design and implementation of OpenXM-RFC 100 and 101 |

16:15 - 16:30 | Break | |

[Computer Mathematics Environments
II] | ||

Tadashi Takahashi, Chair | ||

16:30 - 17:00 | Hanane Naciri and Laurence Rideau | FIGUE: Mathematical formula layout with interaction and MathML support |

17:00 - 17:30 | Andrew Solomon and Craig A. Struble | JavaMath: An API for internet accessible mathematical services |

17:30 - 18:00 | Weidong Liao, Dongdai Lin and Paul S. Wang | OMEI: Open mathematical engine interface |

. | ||

Sep 28 |
||

[Computational Diffenrential Equations
I] | ||

Matu-Tarow Noda, Chair | ||

9:00 - 9:30 | Takuya Kitamoto | Solution of a linear differential equation in the form of power series and its application |

9:30 - 10:00 | Zhenya Yan and Hongqing Zhang | Symbolic Computation and abundant new families of exact solutions for the coupled modified KdV-KdV equation |

10:00 - 10:30 | Zhang Hongqing | C-D integrable system and computer aided solver for differential equations |

10:30 - 10:45 | Break | |

[Computational Diffenrential Equations
II] | ||

Dongming Wang, Chair | ||

10:45 - 11:15 | Ruo-xia Yao and Zhi-bin Li | Exact solutions of a coupled scalar field equations using an extended tanh-function method |

11:15 - 11:45 | Yujie Ma and Xiao-Shan Gao | On the polynomial solutions of algebraic differential equations |

[Polynomial Computation] | ||

Kiyoshi Shirayanagi, Chair | ||

13:00 - 13:30 | Maria A. O. Camargo Brunetto | Investigating the growth of length of intermediate expressions in polynomial sequences using a Maple program |

13:30 - 14:00 | Robert S. Coulter, George Havas, and Marie Henderson: | Giesbrecht's algorithm, the HFE cryptosystem and Ore's $p^s$-polynomials |

14:00 - 14:30 | Tadashi Takahashi | Deformation of double cusp singularity on an irreducible quartic curve by using the computer algebra system Risa/Asir |

14:30 - 14:40 | Break | |

[Programming and Proof Theory] | ||

Taku Takeshima, Chair | ||

14:40 - 15:10 | Jinzhao Wu | Action refinement for timed LOTOS |

15:10 - 15:40 | Thomas M. Rasmussen | An inductive approach to formalizing notions of number theory proofs |