Validated numerics : a short introduction to rigorous computations /

"This textbook provides a comprehensive introduction to the theory and practice of validated numerics, an emerging new field that combines the strengths of scientific computing and pure mathematics. In numerous fields ranging from pharmaceutics and engineering to weather prediction and robotics...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Tucker, Warwick, 1961-
Format: Electronic eBook
Language:Inglés
Published: Princeton : Princeton University Press, ©2011.
Subjects:
Numerical calculations > Verification.
Science > Data processing.
Calculs numériques > Vérification.
Sciences > Informatique.
SCIENCE > General.
COMPUTERS > Computer Science.
Numerical calculations > Verification
Science > Data processing
Online Access:Texto completo
Table of Contents:
  • Chapter 1. Computer Arithmetic
  • Chapter 2. Interval Arithmetic
  • Chapter 3. Interval Analysis
  • Chapter 4. Automatic Differentiation
  • Chapter 5. Interval Analysis in Action
  • Chapter 6. Ordinary Differential Equations.

Similar Items