World Scientific, 2002. - 280 pages.
This volume contains papers presented at the Fifth Asian Symposium on Computer Mathematics (ASCM) held in Matsuyama, Japan, September 26-28, 2001. The 19 full papers and 3 extended abstracts are selected, by the Program Committee under a strict refereeing process, from 44 submissions.
These original contributions together with two invited talks cover some of the most recent and significant advances in computational mathematics, ranging from algebraic and geometric computation to software design and engineering/network applications. We hope that this proceedings presents some interesting aspects and new trends on doing mathematics using computers.
The ASCM series has been localized in Asian countries with inteational participants since 1995, and has become an ideal forum for presentation of original research and exchange of ideas on the interaction of mathematics and computers. The previous four symposia ASCM'95, 96, 98, and 2000 were held in Beijing (China), Kobe (Japan), Lanzhou (China), and Chiang Mai (Thailand), respectively. These symposia were organized under close collaboration between the Mathematics Mechanization Research Center (MMRC) of the Chinese Academy of Sciences and the Japan Society for Symbolic and Algebraic Computation (JSSAC).
The ASCM program includes two invited talks by Erich Kaltofen and Jean-Charles Faugere (Wen-tsiin Wu had been also expected to deliver an invited talk but unfortunately it did not meet his schedule) and 22 technical presentations by researchers from 8 countries in Asia, Europe, Oceania, and North and South America. ASCM 2001 is hosted by Ehime University with financial support.
This volume contains papers presented at the Fifth Asian Symposium on Computer Mathematics (ASCM) held in Matsuyama, Japan, September 26-28, 2001. The 19 full papers and 3 extended abstracts are selected, by the Program Committee under a strict refereeing process, from 44 submissions.
These original contributions together with two invited talks cover some of the most recent and significant advances in computational mathematics, ranging from algebraic and geometric computation to software design and engineering/network applications. We hope that this proceedings presents some interesting aspects and new trends on doing mathematics using computers.
The ASCM series has been localized in Asian countries with inteational participants since 1995, and has become an ideal forum for presentation of original research and exchange of ideas on the interaction of mathematics and computers. The previous four symposia ASCM'95, 96, 98, and 2000 were held in Beijing (China), Kobe (Japan), Lanzhou (China), and Chiang Mai (Thailand), respectively. These symposia were organized under close collaboration between the Mathematics Mechanization Research Center (MMRC) of the Chinese Academy of Sciences and the Japan Society for Symbolic and Algebraic Computation (JSSAC).
The ASCM program includes two invited talks by Erich Kaltofen and Jean-Charles Faugere (Wen-tsiin Wu had been also expected to deliver an invited talk but unfortunately it did not meet his schedule) and 22 technical presentations by researchers from 8 countries in Asia, Europe, Oceania, and North and South America. ASCM 2001 is hosted by Ehime University with financial support.