Validated Numerics

Download or read book Scientific Computing and Validated Numerics written by G. Alefeld and published by De Gruyter Akademie Forschung. This book was released on 1996 with total page 348 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.