Editors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2991)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (18 papers)
-
Front Matter
-
New Verification Techniques Based on Interval Arithmetic
-
Applications in Science and Engineering
-
Back Matter
About this book
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
Editors and Affiliations
-
CNRS, UMR 7606, LIP6, University Pierre et Marie Curie, Paris cedex 05, France
René Alt
-
Fachbereich C, Mathematik und Naturwissenschaften, Bergische Universität Wuppertal, Wuppertal, Germany
Andreas Frommer
-
University of Louisiana at Lafayette,
R. Baker Kearfott
-
Universität Duisburg-Essen, Duisburg, Germany
Wolfram Luther
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