Numerical Software with Result Verification

Keyphrases

Publications

volume 2991, 2004

Numerical Software with Result Verification, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers Numerical Software with Result Verification 2991 (2004)

2003

Sylvie Putot, Eric Goubault, Matthieu Martel
Static Analysis-Based Validation of Floating-Point Computations. Numerical Software with Result Verification (2003)
Baya Oussena, Abderrezak Henni, René Alt
An Application of Wavelet Theory to Early Breast Cancer. Numerical Software with Result Verification (2003)
R. Baker Kearfott, Markus Neher, Shin'ichi Oishi, Fabien Rico
Libraries, Tools, and Interactive Systems for Verified Computations Four Case Studies. Numerical Software with Result Verification (2003)
Laurent Granvilliers, Vladik Kreinovich, Norbert Th. Müller
Novel Approaches to Numerical Software with Result Verification. Numerical Software with Result Verification (2003)
David R. Lester
Using PVS to Validate the Inverse Trigonometric Functions of an Exact Arithmetic. Numerical Software with Result Verification (2003)
Thomas Beelitz, Christian H. Bischof, Bruno Lang, Klaus Schulte Althoff
Result-Verifying Solution of Nonlinear Systems in the Analysis of Chemical Processes. Numerical Software with Result Verification (2003)
George F. Corliss, Jun Yu
Interval Testing Strategies Applied to COSY's Interval and Taylor Model Arithmetic. Numerical Software with Result Verification (2003)
Michel Kieffer, Eric Walter
Nonlinear Parameter and State Estimation for Cooperative Systems in a Bounded-Error Context. Numerical Software with Result Verification (2003)
Daniela Fausten, Gerhard Haßlinger
Verified Numerical Analysis of the Performance of Switching Systems in Telecommunication. Numerical Software with Result Verification (2003)
Ekaterina Auer, Andrés Kecskeméthy, Martin Tändl, Holger Traczinski
Interval Algorithms in Modeling of Multibody Systems. Numerical Software with Result Verification (2003)
Götz Alefeld, Günter Mayer
On Singular Interval Systems. Numerical Software with Result Verification (2003)
Eric Walter, Isabelle Braems, Luc Jaulin, Michel Kieffer
Guaranteed Numerical Computation as an Alternative to Computer Algebra for Testing Models for Identifiability. Numerical Software with Result Verification (2003)
Markus Grimmer, Knut Petras, Nathalie Revol
Multiple Precision Interval Packages: Comparing Different Approaches. Numerical Software with Result Verification (2003)
Katja Bühler, Eva Dyllong, Wolfram Luther
Reliable Distance and Intersection Computation Using Finite Precision Geometry. Numerical Software with Result Verification (2003)
Stefan Borovac, Gerhard Heindl
Result Verification for Computational Problems in Geodesy. Numerical Software with Result Verification (2003)
Hermann Schichl
Global Optimization in the COCONUT Project. Numerical Software with Result Verification (2003)
Werner Hofschuster, Walter Krämer
C-XSC 2.0: A C++ Library for Extended Scientific Computing. Numerical Software with Result Verification (2003)
Jürgen Wolff von Gudenberg
OOP and Interval Arithmetic - Language Support and Libraries. Numerical Software with Result Verification (2003)