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 BibTeX
@proceedings{DBLP:conf/dagstuhl/2003ns,
editor = {Ren{\'e} Alt and
Andreas Frommer and
R. Baker Kearfott and
Wolfram Luther},
title = {Numerical Software with Result Verification, International Dagstuhl
Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised
Papers},
booktitle = {Numerical Software with Result Verification},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2991},
year = {2004},
isbn = {3-540-21260-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Languages
Software Systems and Tools
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
Electronic Edition (link) BibTeX
- Eric Walter, Isabelle Braems, Luc Jaulin, Michel Kieffer:
Guaranteed Numerical Computation as an Alternative to Computer Algebra for Testing Models for Identifiability.
124-131
Electronic Edition (link) BibTeX
- Ekaterina Auer, Andrés Kecskeméthy, Martin Tändl, Holger Traczinski:
Interval Algorithms in Modeling of Multibody Systems.
132-159
Electronic Edition (link) BibTeX
- Katja Bühler, Eva Dyllong, Wolfram Luther:
Reliable Distance and Intersection Computation Using Finite Precision Geometry.
160-190
Electronic Edition (link) BibTeX
- Götz Alefeld, Günter Mayer:
On Singular Interval Systems.
191-197
Electronic Edition (link) BibTeX
Applications in Science and Engineering
Novel Approaches to Verification
Copyright © Sat May 16 23:04:45 2009
by Michael Ley (ley@uni-trier.de)
