Computer Mathematics - Proceedings of the Fourth Asian Symposium - ASCM'2000

Xiao-Shan Gao (1) , Dongming Wang (2)

1 Institute of Applied Mathematics
2 SPACES - Solving problems through algebraic computation and efficient software

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.

Mots clés: symbolic; algebraic; and geometric computation; automated reasoning; computational geometry/cagd; computational differential equations; software design and implementation; graph algorithms; computer mathématique

Domaines: Autre [cs.OH]

Xiao-Shan Gao, Dongming Wang (Dir.). Computer Mathematics - Proceedings of the Fourth Asian Symposium - ASCM'2000. World Scientific Publishing Co., 336 p, 2000, Lecture Notes Series on Computing. ⟨inria-00099278⟩