|
COMPUTER MATHEMATICS
Proceedings of the Fourth Asian Symposium (ASCM 2000)
Chiang Mai, Thailand, 17 – 21 December 2000
edited by Xiao-Shan Gao (Academia Sinica, China) & Dongming Wang (Centre National de la Recherche Scientifique, France)
This volume contains selected papers presented at the Fourth Asian Symposium on Computer Mathematics. 39 peer-reviewed original contributions together with full papers and extended abstracts by the four invited speakers, G H Gonnet, D Lazard, W McCune, and W-T Wu, cover 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, teachers, students, and engineers interested in doing mathematics using computers will find this volume good reading and a valuable reference.
|