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

Internet

Texto completo

Items no disponibles

Holdings details from

Similar Items