Computer mathematics: proceedings of the fifth Asian Symposium (ASCM 2001), Matsuyama, Japan, 26-28 September 2001

This volume covers some of the most recent and significant advances in computer mathematics, including algebraic, symbolic, numeric and geometric computation, automated mathematical reasoning, mathematical software and computer-aided geometric design.

Researchers, engineers, academics and graduate students interested in doing mathematics using computers will find this volume good reading and a valuable reference.Contents: Solution of a Linear Differential Equations in the Form of Power Series and Its Application (T Kitamoto)On the Specification for Solvers of Polynomial Systems (D Lazard)OMEI: An Open Mathematical Engine Interface (W Liao et al.)Polynomial Solutions of Algebraic Differential Equations (Y Ma & X-S Gao)FIGUE: Mathematical Formula Layout with Interaction and MathML Support (H Naciri & L Rideau)An Inductive Approach to Formalizing Notions of Number Theory Proofs (T M Rasmussen)A Generalized Algorithm for Computing Characteristic Sets (D Wang)Action Refinement for Timed LOTOS (J Wu)Exact Analytical Solutions to a Set of Coupled Nonlinear Differential Equations Using Symbolic Computation (R-X Yao & Z-B Li)and other papersReadership: Researchers, engineers, academics and graduate students in numerical & computational mathematics, theoretical computer science, mathematical modeling, analysis & differential equations, software engineering/programming, algebra & number theory, and logic.