Scientific Computing and Validated Numerics: Proceedings of the International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics SCAN-95 Held in Wuppertal, Germany, September 26-29, 1995

Front Cover
G. Alefeld, Andreas Frommer, Bruno Lang
Wiley-VCH Verlag GmbH, 1996 - Computers - 340 pages
The International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics SCAN is held biannually, the fourth conference took place in Wuppertal 1995.
This volume contains contributions from outstanding research specialists based on their presentations at SCAN–95. It covers all aspects of scientific computing with validation, starting with the latest developments in the design of floating point units together with algorithms for floating point operations and elementary function evaluations with maximum accuracy. The book continues by treating scientific computing methods for many areas of applied mathematics such as numerical linear algebra, nonlinear equations, global optimization, ordinary and partial differential equations and dynamical systems. Some computer science
aspects like complexity are also considered as are examples where validation methods have successfully be used in applications from the engineering sciences.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Hardware and Floating Point Operations
11
A Processor for Accurate SelfValidating Computing
25
Function Evaluation
38
Copyright

20 other sections not shown

Common terms and phrases

Bibliographic information