default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDOutcome of a Dagstuhl Seminar: Numerical Software with Result Verification 2003
- René Alt, Andreas Frommer, R. Baker Kearfott, Wolfram Luther:
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
Software Systems and Tools
- 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
New Verification Techniques Based on Interval Arithmetic
- 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
Applications in Science and Engineering
- 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
Novel Approaches to Verification
- 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 22:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
