Numerical Software with Result Verification : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers

by Alt, Rene; Frommer, Andreas; Kearfott, R. Baker; Luther, Wolfram

• ISBN13: 9783540212607
• ISBN10: 3540212604
• Format: Paperback
• Copyright: 2004-04-28
• Publisher: Springer Verlag

Summary

This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 03041 on Numerical Software with Result Verification held at Dagstuhl Castle, Germany, in January 2003. The 18 revised full papers presented were selected during two rounds of reviewing and improvements. The papers are organized in topical sections on languages, software systems and tools, new verification techniques based on interval arithmetic, applications in science and engineering, and novel approaches to verification.

Table of Contents

Languages
OOP and Interval Arithmetic -- Language Support and Libraries	1	(14)
Jurgen Wolff von Gudenberg
C-XSC 2.0: A C++ Library for Extended Scientific Computing	15	(21)
Werner Hofschuster
Walter Kramer
Software Systems and Tools
Libraries, Tools, and Interactive Systems for Verified Computations: Four Case Studies	36	(28)
R. Baker Kearfott
Markus Neher
Shin'ichi Oishi
Fabien Rico
Multiple Precision Interval Packages: Comparing Different Approaches	64	(27)
Markus Grimmer
Knut Petras
Nathalie Revol
Interval Testing Strategies Applied to COSY's Interval and Taylor Model Arithmetic	91	(16)
George F. Corliss
Jun Yu
New Verification Techniques Based on Interval Arithmetic
Nonlinear Parameter and State Estimation for Cooperative Systems in a Bounded-Error Context	107	(17)
Michel Kieffer
Eric Walter
Guaranteed Numerical Computation as an Alternative to Computer Algebra for Testing Models for Identifiability	124	(8)
Eric Walter
Isabelle Braems
Luc Jaulin
Michel Kieffer
Interval Algorithms in Modeling of Multibody Systems	132	(28)
Ekaterina Auer
Andres Kecskemethy
Martin Tandl
Holger Traczinski
Reliable Distance and Intersection Computation Using Finite Precision Geometry	160	(31)
Katja Buhler
Eva Dyllong
Wolfram Luther
On Singular Interval Systems	191	(7)
Gotz Alefeld
Gunter Mayer
Applications in Science and Engineering
Result-Verifying Solution of Nonlinear Systems in the Analysis of Chemical Processes	198	(8)
Thomas Beelitz
Christian Bischof
Bruno Lang
Klaus Schulte Althoff
Verified Numerical Analysis of the Performance of Switching Systems in Telecommunication	206	(20)
Daniela Fausten
Gerhard Haßlinger
Result Verification for Computational Problems in Geodesy	226	(17)
Stefan Borovac
Gerhard Heindl
Global Optimization in the COCONUT Project	243	(7)
Hermann Schichl
An Application of Wavelet Theory to Early Breast Cancer	250	(9)
Baya Oussena
Abderrezak Henni
Rene Alt
Novel Approaches to Verification
Using PVS to Validate the Inverse Trigonometric Functions of an Exact Arithmetic	259	(15)
David Lester
Novel Approaches to Numerical Software with Result Verification	274	(32)
Laurent Granvilliers
Vladik Kreinovich
Norbert Muller
Static Analysis-Based Validation of Floating-Point Computations	306	(9)
Sylvie Putot
Eric Goubault
Matthieu Martel
Author Index	315