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

• Corporate Author: SpringerLink (Online service)
• Other Authors: Alt, René (Editor), Frommer, Andreas (Editor), Kearfott, R. Baker (Editor), Luther, Wolfram (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
• Series: Lecture Notes in Computer Science, 2991
• Subjects: Computer science.; Software engineering.; Programming languages (Electronic computers).; Algorithms.; Numerical analysis.; Computer Science.; Numeric Computing.; Software Engineering/Programming and Operating Systems.; Numerical Analysis.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Algorithm Analysis and Problem Complexity.

Reliable computing techniques are essential if the validity of the output of a - merical algorithm is to be guaranteed to be correct. Our society relies more and more on computer systems. Usually, our systems appear to work successfully, but there are sometimes serious, and often minor, errors. Vali...