Scientific Computing, Validated Numerics, Interval Methods, Volume 1
Walter Krämer, Jürgen Wolff von Gudenberg
Springer US, Dec 31, 2001 - Computers - 398 pages
Scan 2000, the GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics and Interval 2000, the International Conference on Interval Methods in Science and Engineering were jointly held in Karlsruhe, September 19-22, 2000. The joint conference continued the series of 7 previous Scan-symposia under the joint sponsorship of GAMM and IMACS. These conferences have traditionally covered the numerical and algorithmic aspects of scientific computing, with a strong emphasis on validation and verification of computed results as well as on arithmetic, programming, and algorithmic tools for this purpose. The conference further continued the series of 4 former Interval conferences focusing on interval methods and their application in science and engineering. The objectives are to propagate current applications and research as well as to promote a greater understanding and increased awareness of the subject matters. The symposium was held in Karlsruhe the European cradle of interval arithmetic and self-validating numerics and attracted 193 researchers from 33 countries. 12 invited and 153 contributed talks were given. But not only the quantity was overwhelming we were deeply impressed by the emerging maturity of our discipline. There were many talks discussing a wide variety of serious applications stretching all parts of mathematical modelling. New efficient, publicly available or even commercial tools were proposed or presented, and also foundations of the theory of intervals and reliable computations were considerably strengthened.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Keynote Address The Future of Intervals
VariablePrecision Exponential Evaluation
Javier Hormigo Julio Villalba Michael J Schulte
26 other sections not shown
Other editions - View all
Scientific Computing, Validated Numerics, Interval Methods
Walter Kramer,Jurgen Wolff Von Gudenberg
No preview available - 2014
algebraic algorithm antiderivation applications approximation arithmetic operations Berz bisections bits bound bounded-error branch predictors CADNA coefficients compiler convergence convex hull corresponding CRAY SV1 defined denote derivative Differential Algebraic digits distribution domains dynamical system Edited by Kramer enclosure endpoint equations error evaluation example Figure formatting Fortran function global optimization guaranteed hardware Henon map hyperrectangles implementation inclusion function input integration intersection interval analysis interval arithmetic Interval Methods interval multiplication interval operations interval software interval vector inverse iteration Jaulin Kluwer Academic/Plenum Publishers Kramer and Wolff Mathematics matrix midpoint midpoint-radius Mstops nonlinear notation obtained optimal center output performance polynomial precision problem processor programming random rounding mode Scientific Computing Section significand simulation SIVIA solution set step stochastic stochastic arithmetic stochastic numbers subdivision subpaving support for interval Taylor model techniques Theorem uncertainty class Validated Numerics values variables Wolff von Gudenberg zero