Mathematical Aspects of Scientific Software
Book information
Description
Since scientific software is the fuel that drives today's computers to solve a vast range of problems, huge efforts are being put into the development of new software, systems and algorithms for scientific problem solving. This book explores how scientific software impacts the structure of mathematics, how it creates new subfields, and how new classes of mathematical problems arise. The focus is on five topics where the impact is currently being felt and where important new challenges exist, namely: the new subfield of parallel and geometric computations, the emergence of symbolic computation systems into "general" use, the potential emergence of new, high-level mathematical systems, and the crucial question of how to measure the performance of mathematical problem solving tools.
Similar books
Recursion on the Countable Functionals
1980 · PDF
Introduction to Axiomatic Set Theory
1982 · PDF
Zermelo’s Axiom of Choice: Its Origins, Development, and Influence
1982 · PDF
Introduction to Cardinal Arithmetic
1999 · PDF
Logic and Structure
1980 · PDF
Einführung in die Mengenlehre: Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo
2004 · PDF
Mathematische Logik
2010 · PDF
Einführung in die Mengenlehre: Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo
2010 · PDF