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
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.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Hardware and Floating Point Operations
A Processor for Accurate SelfValidating Computing
20 other sections not shown
accuracy Alefeld algebraic algorithm applied approximation arithmetic operations arithmetic-geometric mean assume assumptions automatic differentiation bifurcation bisection bisection method bits calculate Cauchy principal value coefficients complex Computer Arithmetic consider convergence defined denote derivatives digits division eigenvalue elementary functions elements enclosure endpoints equations error estimate evaluation example existence finite floating point floating-point formula Gauss-Seidel method given global optimization hardware Herzberger IEEE implementation inclusion input instructions interval analysis interval arithmetic Interval Computations interval Newton method interval vector iteration Kaucher Kulisch Lemma lower bound machine number mantissa Math Mathematics matrix multiplier nonlinear NP-hard NULL obtained operand optimal solution parallel Pascal-XSC performed polynomial precision preconditioner processor programming real numbers reciprocal table representation rounding mode Scientific Computing significand simulation software metrics solution branch solution set solve square root strategy subboxes subdefinite subproblem techniques Theorem upper bounds valid variable-precision interval variables verified zero