↓ Skip to main content
What is this page? Embed badge

Numerical Software with Result Verification

Overview of attention for book
Cover of 'Numerical Software with Result Verification'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 OOP and Interval Arithmetic – Language Support and Libraries
  3. Altmetric Badge
    Chapter 2 C-XSC 2.0 – A C++ Library for Extended Scientific Computing
  4. Altmetric Badge
    Chapter 3 Libraries, Tools, and Interactive Systems for Verified Computations Four Case Studies
  5. Altmetric Badge
    Chapter 4 Multiple Precision Interval Packages: Comparing Different Approaches
  6. Altmetric Badge
    Chapter 5 Interval Testing Strategies Applied to COSY’s Interval and Taylor Model Arithmetic
  7. Altmetric Badge
    Chapter 6 Nonlinear Parameter and State Estimation for Cooperative Systems in a Bounded-Error Context
  8. Altmetric Badge
    Chapter 7 Guaranteed Numerical Computation as an Alternative to Computer Algebra for Testing Models for Identifiability
  9. Altmetric Badge
    Chapter 8 Interval Algorithms in Modeling of Multibody Systems
  10. Altmetric Badge
    Chapter 9 Reliable Distance and Intersection Computation Using Finite Precision Geometry
  11. Altmetric Badge
    Chapter 10 On Singular Interval Systems
  12. Altmetric Badge
    Chapter 11 Result-Verifying Solution of Nonlinear Systems in the Analysis of Chemical Processes
  13. Altmetric Badge
    Chapter 12 Verified Numerical Analysis of the Performance of Switching Systems in Telecommunication
  14. Altmetric Badge
    Chapter 13 Result Verification for Computational Problems in Geodesy
  15. Altmetric Badge
    Chapter 14 Global Optimization in the COCONUT Project
  16. Altmetric Badge
    Chapter 15 An Application of Wavelet Theory to Early Breast Cancer
  17. Altmetric Badge
    Chapter 16 Using PVS to Validate the Inverse Trigonometric Functions of an Exact Arithmetic
  18. Altmetric Badge
    Chapter 17 Novel Approaches to Numerical Software with Result Verification
  19. Altmetric Badge
    Chapter 18 Static Analysis-Based Validation of Floating-Point Computations
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

patent
1 patent

Citations

dimensions_citation
8 Dimensions
Summary Patents Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Numerical Software with Result Verification
Published by
Springer Science & Business Media, March 2004
DOI 10.1007/b96498
ISBNs
978-3-54-021260-7, 978-3-54-024738-8
Editors

Alt, René, Frommer, Andreas, Kearfott, R. Baker, Luther, Wolfram

View on publisher site Google Preview

This page is provided by Altmetric.