Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2991)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (18 papers)
-
New Verification Techniques Based on Interval Arithmetic
-
Applications in Science and Engineering
Keywords
- C++ programming language
- algorithms
- computer algebra
- floating-point computations
- guaranteed numerical computations
- interval arithmetic
- modeling
- numerical analysis
- object-oriented programming (OOP)
- optimization
- reliable computing
- result verification
- validated computing
- validated numerical software
- verification
- algorithm analysis and problem complexity
About this book
Editors and Affiliations
Bibliographic Information
Book Title: Numerical Software with Result Verification
Book Subtitle: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers
Editors: René Alt, Andreas Frommer, R. Baker Kearfott, Wolfram Luther
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/b96498
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2004
Softcover ISBN: 978-3-540-21260-7Published: 12 March 2004
eBook ISBN: 978-3-540-24738-8Published: 12 February 2004
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: IX, 315
Topics: Numeric Computing, Software Engineering/Programming and Operating Systems, Numerical Analysis, Software Engineering, Programming Languages, Compilers, Interpreters, Algorithm Analysis and Problem Complexity