Numerical software with result verification : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers /
Saved in:
| Imprint: | Berlin ; New York : Springer, c2004. |
|---|---|
| Description: | x, 313 p. : ill. ; 24 cm. |
| Language: | English |
| Series: | Lecture notes in computer science, 0302-9743 ; 2991 |
| Subject: | |
| Format: | Print Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/5145535 |
Table of Contents:
- OOP and interval arithmetic : language support and libraries / Jurgen Wolff von Gudenberg
- C-XSC 2.0 : a C++ library for extended scientific computing / Werner Hofschuster and Walter Kramer
- Libraries, tools, and interactive systems for verified computations : four case studies / R. Baker Kearfott, Markus Neher, Shin'ichi Oishi and Fabien Rico
- Multiple precision interval packages : comparing different approaches / Markus Grimmer, Knut Petras and Nathalie Revol
- Interval testing strategies applied to COSY's interval and Taylor model arithmetic / George F. Corliss and Jun Yu
- Nonlinear parameter and state estimation for cooperative systems in a bounded-error context / Michel Kieffer and Eric Walter
- Guaranteed numerical computation as an alternative to computer algebra for testing models for identifiability / Eric Walter, Isabelle Braems, Luc Jaulin and Michel Kieffer
- Interval algorithms in modeling of multibody systems / Ekaterina Auer, Andres Kecskemethy, Martin Tandl and Holger Traczinski
- Reliable distance and intersection computation using finite precision geometry / Katja Buhler, Eva Dyllong and Wolfram Luther
- On singular interval systems / Gotz Alefeld and Gunter Mayer
- Result-verifying solution of nonlinear systems in the analysis of chemical processes / Thomas Beelitz, Christian Bischof, Bruno Lang and Klaus Schulte Althoff
- Verified numerical analysis of the performance of switching systems in telecommunication / Daniela Fausten and Gerhard Hasslinger
- Result verification for computational problems in geodesy / Stefan Borovac and Gerhard Heindl
- Global optimization in the COCONUT project / Hermann Schichl
- An application of wavelet theory to early breast cancer / Baya Oussena, Abderrezak Henni and Rene Alt
- Using PVS to validate the inverse trigonometric functions of an exact arithmetic / David Lester
- Novel approaches to numerical software with result verification / Laurent Granvilliers, Vladik Kreinovich and Norbert Muller
- Static analysis-based validation of floating-point computations / Sylvie Putot, Eric Goubault and Matthieu Martel.
