Numerical software with result verification. International Dagstuhl seminar, Dagstuhl Castle, Germany, January 19--24, 2003. Revised papers. (Q1883343)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Wolff von Gudenberg, Jürgen}, OOP and interval arithmetic -- language support and libraries, 1-14 [Zbl 1126.68342] \textit{Hofschuster, Werner; Krämer, Walter}, C-XSC 2.0 -- a C++ library for extended scientific computing, 15-35 [Zbl 1126.65328] \textit{Kearfott, R. Baker; Neher, Markus; Oishi, Shin'ichi; Rico, Fabien}, Libraries, tools, and interactive systems for verified computations four case studies, 36-63 [Zbl 1126.65329] \textit{Grimmer, Markus; Petras, Knut; Revol, Nathalie}, Multiple precision interval packages: comparing different approaches, 64-90 [Zbl 1126.65327] \textit{Corliss, George F.; Yu, Jun}, Interval testing strategies applied to COSY's interval and Taylor model arithmetic, 91-106 [Zbl 1126.65326] \textit{Kieffer, Michel; Walter, Eric}, Nonlinear parameter and state estimation for cooperative systems in a bounded-error context, 107-123 [Zbl 1126.93339] \textit{Walter, Eric; Braems, Isabelle; Jaulin, Luc; Kieffer, Michel}, Guaranteed numerical computation as an alternative to computer algebra for testing models for identifiability, 124-131 [Zbl 1126.93329] \textit{Auer, Ekaterina; Kecskeméthy, Andrés; Tändl, Martin; Traczinski, Holger}, Interval algorithms in modeling of multibody systems, 132-159 [Zbl 1126.65311] \textit{Bühler, Katja; Dyllong, Eva; Luther, Wolfram}, Reliable distance and intersection computation using finite precision geometry, 160-190 [Zbl 1126.65312] \textit{Alefeld, Götz; Mayer, Günter}, On singular interval systems, 191-197 [Zbl 1126.65310] \textit{Beelitz, Thomas; Bischof, Christian; Lang, Bruno; Althoff, Klaus Schulte}, Result-verifying solution of nonlinear systems in the analysis of chemical processes, 198-205 [Zbl 1126.65314] \textit{Fausten, Daniela; Haßlinger, Gerhard}, Verified numerical analysis of the performance of switching systems in telecommunication, 206-225 [Zbl 1126.68325] \textit{Borovac, Stefan; Heindl, Gerhard}, Result verification for computational problems in geodesy, 226-242 [Zbl 1126.86303] \textit{Schichl, Hermann}, Global optimization in the COCONUT project, 243-249 [Zbl 1126.65318] \textit{Oussena, Baya; Henni, Abderrezak; Alt, René}, An application of wavelet theory to early breast cancer, 250-258 [Zbl 1126.65324] \textit{Lester, David}, Using PVS to validate the inverse trigonometric functions of an exact arithmetic, 259-273 [Zbl 1126.68351] \textit{Granvilliers, Laurent; Kreinovich, Vladik; Müller, Norbert}, Novel approaches to numerical software with result verification, 274-305 [Zbl 1126.65308] \textit{Putot, Sylvie; Goubault, Eric; Martel, Matthieu}, Static analysis-based validation of floating-point computations, 306-313 [Zbl 1126.65309]