Abstract is missing.
- OOP and Interval Arithmetic - Language Support and LibrariesJürgen Wolff von Gudenberg. 1-14 [doi]
- C-XSC 2.0: A C++ Library for Extended Scientific ComputingWerner Hofschuster, Walter Krämer. 15-35 [doi]
- Libraries, Tools, and Interactive Systems for Verified Computations Four Case StudiesR. Baker Kearfott, Markus Neher, Shin ichi Oishi, Fabien Rico. 36-63 [doi]
- Multiple Precision Interval Packages: Comparing Different ApproachesMarkus Grimmer, Knut Petras, Nathalie Revol. 64-90 [doi]
- Interval Testing Strategies Applied to COSY s Interval and Taylor Model ArithmeticGeorge F. Corliss, Jun Yu. 91-106 [doi]
- Nonlinear Parameter and State Estimation for Cooperative Systems in a Bounded-Error ContextMichel Kieffer, Eric Walter. 107-123 [doi]
- Guaranteed Numerical Computation as an Alternative to Computer Algebra for Testing Models for IdentifiabilityEric Walter, Isabelle Braems, Luc Jaulin, Michel Kieffer. 124-131 [doi]
- Interval Algorithms in Modeling of Multibody SystemsEkaterina Auer, Andrés Kecskeméthy, Martin Tändl, Holger Traczinski. 132-159 [doi]
- Reliable Distance and Intersection Computation Using Finite Precision GeometryKatja Bühler, Eva Dyllong, Wolfram Luther. 160-190 [doi]
- On Singular Interval SystemsGötz Alefeld, Günter Mayer. 191-197 [doi]
- Result-Verifying Solution of Nonlinear Systems in the Analysis of Chemical ProcessesThomas Beelitz, Christian H. Bischof, Bruno Lang, Klaus Schulte Althoff. 198-205 [doi]
- Verified Numerical Analysis of the Performance of Switching Systems in TelecommunicationDaniela Fausten, Gerhard Haßlinger. 206-225 [doi]
- Result Verification for Computational Problems in GeodesyStefan Borovac, Gerhard Heindl. 226-242 [doi]
- Global Optimization in the COCONUT ProjectHermann Schichl. 243-249 [doi]
- An Application of Wavelet Theory to Early Breast CancerBaya Oussena, Abderrezak Henni, René Alt. 250-258 [doi]
- Using PVS to Validate the Inverse Trigonometric Functions of an Exact ArithmeticDavid Lester. 259-273 [doi]
- Novel Approaches to Numerical Software with Result VerificationLaurent Granvilliers, Vladik Kreinovich, Norbert Th. Müller. 274-305 [doi]
- Static Analysis-Based Validation of Floating-Point ComputationsSylvie Putot, Eric Goubault, Matthieu Martel. 306-313 [doi]