Scientific computing with automatic result verification (Q684249)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Hammer, R.; Neaga, M.; Ratz, D.}, PASCAL-XSC. New concepts for scientific computation and numerical data processing, 15-44 [Zbl 0801.68021] \textit{Walter, Wolfgang V.}, ACRITH-XSC. A Fortran-like language for verified scientific computing, 45-70 [Zbl 0801.68019] \textit{Lawo, Christian}, C-XSC. A programming environment for verified scientific computing and numerical data processing, 71-86 [Zbl 0801.68020] \textit{Bohlender, G.; Cordes, D.; Knöfel, A.; Kulisch, U.; Lohner, R.; Walter, W. V.}, Proposal for accurate floating-point vector arithmetic, 87-102 [Zbl 0801.68090] \textit{Fischer, Hans-Christoph}, Automatic differentiation and applications, 105-142 [Zbl 0789.65011] \textit{Kelch, Rainer}, Numerical quadrature by extrapolation with automatic result verification, 143-185 [Zbl 0796.65016] \textit{Storck, Ulrike}, Numerical integration in two dimensions with automatic result verification, 187-224 [Zbl 0796.65017] \textit{Dobner, Hans-Jürgen}, Verified solution of integral equations with applications, 225-253 [Zbl 0793.65101] \textit{Klein, Wolfram}, Enclosure methods for linear and nonlinear systems of Fredholm integral equations of the second kind, 255-282 [Zbl 0789.65096] \textit{Rufeger, W.; Adams, E.}, A step size control for Lohner's enclosure algorithm for ordinary differential equations with initial conditions, 283-299 [Zbl 0789.65050] \textit{Lohner, Rudolf J.}, Interval arithmetic in staggered correction format, 301-321 [Zbl 0796.65066] \textit{Krämer, Walter}, Multiple-precision computations with result verification, 325-356 [Zbl 0805.65027] \textit{Gross, Beate}, Verification of asymptotic stability for interval matrices and applications in control theory, 357-395 [Zbl 0796.65084] \textit{Klein, Wera U.}, Numerical reliability of MHD flow calculations, 397-421 [Zbl 0792.76052] \textit{Adams, Ernst}, The reliability question for discretizations of evolution problems, 423-526 [Zbl 0793.65068] \textit{Schütz, R.; Winter, H.; Ehret, G.}, KKR bandstructure calculations, a challenge to numerical accuracy, 527-547 [Zbl 0787.65096] \textit{Knöfel, Andreas}, A hardware kernel for scientific/engineering computations, 549-570 [Zbl 0801.68009] \textit{Bohlender, Gerd}, Bibliography on enclosure methods and related topics, 571-608 [Zbl 0784.65039]