Skip to Main content Skip to Navigation
Directions of work or proceedings

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

Xiao-Shan Gao 1 Dongming Wang 2
2 SPACES - Solving problems through algebraic computation and efficient software
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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.
Document type :
Directions of work or proceedings
Complete list of metadata
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 8:52:22 AM
Last modification on : Friday, February 26, 2021 - 3:28:07 PM


  • HAL Id : inria-00099278, version 1



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



Record views