![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Outcome 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.