CONTENTS -- Preface -- Invited Talks -- Finding All the Solutions of Cyclic 9 Using Grobner Basis Techniques -- On the Complexity of Computing Determinants (Extended Abstract) -- Papers -- Investigating the Growth of Length of Intermediate Expressions in Polynomial Sequences Using a Maple Program -- Giesbrecht's Algorithm the HFE Cryptosystem and Ore's p8-polynomials -- Solution of a Linear Differential Equation in the Form of Power Series and its Application -- A New Algorithm for Real Roots of a Zero-Dimensional System by a Linear Separating Map -- On the Specification for Solvers of Polynomial Systems -- On the Construction of a PSE for GCD Computation -- OMEI: An Open Mathematical Engine Interface -- Polynomial Solutions of Algebraic Differential Equations -- The Design and Implementation of OpenXM-RFC 100 and 101 -- FIGUE: Mathematical Formula Layout with Interaction and MathML Support -- Symbolic-Numeric Computations of Wu's Method: Comparison of the Cut-off Method and the Stabilization Techniques -- An Inductive Approach to Formalizing Notions of Number Theory Proofs -- Application of Grobner Basis and Quantifier Elimination in Engineering Design: An Introduction for Engineers -- JavaMath: An API for Internet Accessible Mathematical Services -- Deformation of Double Cusp Singularity on an Irreducible Quartic Curve by Using the Computer Algebra System Risa/Asir -- A Generalized Algorithm for Computing Characteristic Sets -- Deciding Inclusion of Differential Quasi-Algebraic Varieties -- Action Refinement for Timed LOTOS -- Symbolic Computation and Abundant New Families of Exact Solutions for the Coupled Modified KdV-KdV Equation.

Exact Analytical Solutions to a Set of Coupled Nonlinear Differential Equations Using Symbolic Computation -- An Effective Algorithm for Isolating the Real Solutions of Semi-Algebraic Systems and its Applications -- C-D Integrable System and Computer Aided Solver for Differential Equations -- Author Index.