C++ Toolbox for Verified Scientific Computing - Theory, Algorithms and Programs: Basic Numerical Problems

Authors:
R. Hammer
Affiliations:
-
Venue:
C++ Toolbox for Verified Scientific Computing - Theory, Algorithms and Programs: Basic Numerical Problems
Year:
1995

Citing 0
Cited 6

Convex Polyhedral Enclosures of Interval-Based Hierarchical Object Representations

Reliable Implementation of Real Number Algorithms: Theory and Practice
A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range

Numerical Validation in Current Hardware Architectures
Uses of New Sensitivity and Dae Solving Methods in SmartMobile for Verified Analysis of Mechanical Systems

International Journal of Applied Mathematics and Computer Science - Verified Methods: Applications in Medicine and Engineering
A reliable extended octree representation of CSG objects with an adaptive subdivision depth

PPAM'07 Proceedings of the 7th international conference on Parallel processing and applied mathematics
Interval Arithmetic Based Optimization in Nonlinear Regression

Informatica
Communicating functional expressions from mathematica to C-XSC

ICMS'10 Proceedings of the Third international congress conference on Mathematical software

Quantified Score

Hi-index	0.00

Visualization

Abstract

From the Publisher:This book offers a general discussion on arithmetic and computational reliability, analytical mathematics and verification techniques, algorithms, and (most importantly) actual C++ implementations. In each chapter, examples, exercises, and numerical results demonstrate the application of the routines presented. The book introduces many computational verification techniques. It is not assumed that the reader has any prior formal knowledge of numerical verfication or any familiarity with interval analysis. The necessary concepts are introduced.