Outcome of a Dagstuhl Seminar: Numerical Software with Result Verification 2003

René Alt, Andreas Frommer, R. Baker Kearfott, Wolfram Luther (Eds.): Numerical Software with Result Verification, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers. Lecture Notes in Computer Science 2991 Springer 2004, ISBN 3-540-21260-4

Languages

Jürgen Wolff von Gudenberg:
OOP and Interval Arithmetic - Language Support and Libraries. 1-14
Werner Hofschuster, Walter Krämer:
C-XSC 2.0: A C++ Library for Extended Scientific Computing. 15-35

R. Baker Kearfott, Markus Neher, Shin'ichi Oishi, Fabien Rico:
Libraries, Tools, and Interactive Systems for Verified Computations Four Case Studies. 36-63
Markus Grimmer, Knut Petras, Nathalie Revol:
Multiple Precision Interval Packages: Comparing Different Approaches. 64-90
George F. Corliss, Jun Yu:
Interval Testing Strategies Applied to COSY's Interval and Taylor Model Arithmetic. 91-106

Michel Kieffer, Eric Walter:
Nonlinear Parameter and State Estimation for Cooperative Systems in a Bounded-Error Context. 107-123
Eric Walter, Isabelle Braems, Luc Jaulin, Michel Kieffer:
Guaranteed Numerical Computation as an Alternative to Computer Algebra for Testing Models for Identifiability. 124-131
Ekaterina Auer, Andrés Kecskeméthy, Martin Tändl, Holger Traczinski:
Interval Algorithms in Modeling of Multibody Systems. 132-159
Katja Bühler, Eva Dyllong, Wolfram Luther:
Reliable Distance and Intersection Computation Using Finite Precision Geometry. 160-190
Götz Alefeld, Günter Mayer:
On Singular Interval Systems. 191-197

Thomas Beelitz, Christian H. Bischof, Bruno Lang, Klaus Schulte Althoff:
Result-Verifying Solution of Nonlinear Systems in the Analysis of Chemical Processes. 198-205
Daniela Fausten, Gerhard Haßlinger:
Verified Numerical Analysis of the Performance of Switching Systems in Telecommunication. 206-225
Stefan Borovac, Gerhard Heindl:
Result Verification for Computational Problems in Geodesy. 226-242
Hermann Schichl:
Global Optimization in the COCONUT Project. 243-249
Baya Oussena, Abderrezak Henni, René Alt:
An Application of Wavelet Theory to Early Breast Cancer. 250-258

David R. Lester:
Using PVS to Validate the Inverse Trigonometric Functions of an Exact Arithmetic. 259-273
Laurent Granvilliers, Vladik Kreinovich, Norbert Th. Müller:
Novel Approaches to Numerical Software with Result Verification. 274-305
Sylvie Putot, Eric Goubault, Matthieu Martel:
Static Analysis-Based Validation of Floating-Point Computations. 306-313

Last update Tue May 21 16:28:54 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page