authors |
title |

Zhenya Yan and Hongqing Zhang |
Symbolic computation and abundant new families of exact solutions for
the coupled modified KdV-KdV equation |

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

Jinzhao Wu |
Action refinement for timed LOTOS |

Zhang Hongqing |
C-D integrable system and computer aided solver for differential
equations |

Thomas M. Rasmussen |
An inductive approach to formalizing notions of number theory
proofs |

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

Ruo-xia Yao, Zhi-bin Li |
Exact analytical solutions to a set of coupled nonlinear differentioal
equations using symbolic computation |

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

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

Jimin Wang, Lian Li and Fuding Xie |
Deciding inclusion of differential qusi-algebraic varieties |

Daniel Lazard |
On the specification for solvers of polynomial systems |

Dongming Wang |
A generalized algorithm for computing characteristic sets |

Hiroyuki Sawada and Xiu-Tian Yan |
Application of Gr\"obner base and quantifier elimination in
engineering design: an introduction for engineers |

Yujie Ma and Xiao-Shan Gao |
Polynomial solutions of algebraic differential equations |

Hanane Naciri and Laurence Rideau |
FIGUE: mathematical formula layout with interaction and MathML
support |

Andrew Solomon and Craig A. Struble |
JavaMath: an API for internet accessible mathematical services |

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

Takuya Kitamoto |
Solution of a linear differential equation in the form of power series
and its application |

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

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

Weidong Liao, Dongdai Lin and Paul S. Wang |
OMEI: an open mathematical engine interface |

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 |