Ebook: Numerical Software with Result Verification: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003. Revised Papers
Author: Jürgen Wolff von Gudenberg (auth.) René Alt Andreas Frommer R. Baker Kearfott Wolfram Luther (eds.)
- Tags: Numeric Computing, Software Engineering, Programming Languages Compilers Interpreters, Algorithm Analysis and Problem Complexity, Mathematical Software, Numerical Analysis
- Series: Lecture Notes in Computer Science 2991
- Year: 2004
- Publisher: Springer-Verlag Berlin Heidelberg
- Edition: 1
- Language: English
- pdf
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.
Download the book Numerical Software with Result Verification: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003. Revised Papers for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)