Author: Ziming Li
Publisher: World Scientific
ISBN: 9814487090
Category : Mathematics
Languages : en
Pages : 310
Book Description
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: Proceedings Of The Sixth Asian Symposium (Ascm'03)
Author: Ziming Li
Publisher: World Scientific
ISBN: 9814487090
Category : Mathematics
Languages : en
Pages : 310
Book Description
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.
Publisher: World Scientific
ISBN: 9814487090
Category : Mathematics
Languages : en
Pages : 310
Book Description
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
Author: Xiao-Shan Gao
Publisher: World Scientific
ISBN: 9810244983
Category : Computers
Languages : en
Pages : 338
Book Description
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.
Publisher: World Scientific
ISBN: 9810244983
Category : Computers
Languages : en
Pages : 338
Book Description
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
Author: Kiyoshi Shirayanagi
Publisher: World Scientific
ISBN: 981024763X
Category : Computers
Languages : en
Pages : 241
Book Description
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.
Publisher: World Scientific
ISBN: 981024763X
Category : Computers
Languages : en
Pages : 241
Book Description
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
Author: Chi-Tat Chong
Publisher: World Scientific
ISBN: 9789810234324
Category : Mathematics
Languages : en
Pages : 372
Book Description
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.
Publisher: World Scientific
ISBN: 9789810234324
Category : Mathematics
Languages : en
Pages : 372
Book Description
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.