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
Author(s)
Bibliographic Information
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
(Mathematical research = Mathematische Forschung, v. 90)
Akademie Verlag, c1996
- Other Title
-
Scientific computing and validated numerics
Available at 9 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
Note
"The International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN is held biannually, the forth conference took place in Wuppertal 1995"--p. [4] of cover
Includes bibliographical references
Description and Table of Contents
Description
This collection of papers on scientific computing with validation covers the design of floating point units, algorithms for floating point operations, and elementary function evaluations with maximum accuracy. Scientific computing methods are discussed for 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 been used in applications from the engineering sciences.
Table of Contents
- Partial table of contents:
- HARDWARE AND FLOATING POINT OPERATIONS
- Hardware Reciprocal Table Compression/Decompression Techniques (D. Sarma & D. Matula)
- Hardware Support for Interval Arithmetic (J. von Gudenberg)
- FUNCTION EVALUATION
- Shared Computations for Efficient Interval Function Evaluation ( E. Hyvvnen & S. De Pascale)
- Computing Narrow Inclusions for Cauchy Principal Value Integrals (W. Krdmer & S. Wedner)
- SOFTWARE
- Processing Software Metrics in an Integrated Development Environment for Pascal-XSC (H. Berlejung)
- LINEAR ALGEBRA
- Success in Epsilon-Inflation (G. Mayer)
- NONLINEAR EQUATIONS
- Effective Improvements of the Interval-Newton-Method (G. Alefeld, et al.)
- On the Application of an Interval Algorithm for Set Inversion (M. Candev)
- A Parallel Algorithm for Enclosing All Zeros of a Nonlinear System of Equations (A. Wiethoff)
- OPTIMIZATION
- A Parallel Method for Verified Global Optimization (S. Berner)
- DIFFERENTIAL EQUATIONS
- Validating an A Priori Enclosure Using High-Order Taylor Series (G. Corliss & R. Rihm)
- Inheritable Properties and Computer Assisted Proofs in Dynamics (M. Mrozek)
- COMPLEXITY AND THEORY OF INTERVAL PROBLEMS
- On the Foundations of Interval Arithmetic (S. Markov)
- APPLICATIONS IN ENGINEERING
- Application of Automatic Differentiation Techniques to Circuit Simulation (H.-J. Dobner & W. Klein).
by "Nielsen BookData"