ACCEPTED PAPERS

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