Mathematical software : proceedings of the First International Congress of Mathematical Software, Beijing, China, 17-19 August 2002
著者
書誌事項
Mathematical software : proceedings of the First International Congress of Mathematical Software, Beijing, China, 17-19 August 2002
World Scientific, c2002
大学図書館所蔵 全4件
注記
"ICMS 2002"--Cover
Includes bibliographical references and indexes
内容説明・目次
内容説明
The advent of mathematical software has been one of the most important events in mathematics. Mathematical software systems are used to construct examples, to prove theorems, and to find new mathematical phenomena. On the other hand, mathematical research often motivates developments of new algorithms and new systems.This volume contains the papers presented at the First International Congress of Mathematical Software, which aimed at a coherent study of mathematical software systems from a wide variety of branches of mathematics. The book discusses more than one hundred mathematical software systems. Readers can get an overview of the current status of the arts of mathematical software and algorithms.The proceedings have been selected for coverage in: • Index to Scientific & Technical Proceedings (ISTP CDROM version / ISI Proceedings)
目次
- Software Engineering Problems for Mathematical Software: Designs of Programming languages for Mathematics
- Data Structures for Mathematics
- Standards to Allow Cooperation
- Review of Internal Structures of Systems
- Tricks in Real Implementations
- Mathematics and Media (Including User Interfaces)
- Mathematics Related to Mathematical Software (Experiments, Algorithms)
- High Performance Computing
- Applications of Mathematical Software
- Presentation of Mathematical Software
- and other papers.
「Nielsen BookData」 より