Computer Mathematics: Proceedings Of The Sixth Asian Symposium (Ascm'03)

Computer Mathematics: Proceedings Of The Sixth Asian Symposium (Ascm'03)

Author: Ziming Li

Publisher: World Scientific

Published: 2003-03-12

Total Pages: 310

ISBN-13: 9814487090

DOWNLOAD EBOOK

This volume covers some of the most recent and significant advances in computer mathematics. Researchers, engineers, academics and graduate students interested in doing mathematics using computers will find it good reading as well as a valuable reference.


Computer Mathematics

Computer Mathematics

Author: Xiao-Shan Gao

Publisher: World Scientific

Published: 2000

Total Pages: 338

ISBN-13: 9810244983

DOWNLOAD EBOOK

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.


Computer Mathematics

Computer Mathematics

Author: Kiyoshi Shirayanagi

Publisher: World Scientific

Published: 2001

Total Pages: 241

ISBN-13: 981024763X

DOWNLOAD EBOOK

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.


Proceedings of the Sixth Asian Logic Conference

Proceedings of the Sixth Asian Logic Conference

Author: Chi-Tat Chong

Publisher: World Scientific

Published: 1998

Total Pages: 372

ISBN-13: 9789810234324

DOWNLOAD EBOOK

This volume comprises a collection of twenty written versions of invited as well as contributed papers presented at the conference held from 20-24 May 1996 in Beijing, China. It covers many areas of logic and the foundations of mathematics, as well as computer science. Also included is an article by M. Yasugi on the Asian Logic Conference which first appeared in Japanese, to provide a glimpse into the history and development of the series.