Mathematical Software: Proceedings of the First International Congress of Mathematical Software Beijing, China 17-19 August 2002

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. Mathematical software systems rely on the co-operation of mathematicians, designers of algorithms, and mathematical programmers. This volume is aimed at software developers in mathematics and programming mathematicians, but it also provides opportunities to discuss the topics with mathematicians.