Chargement en cours…

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...

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Auteur principal: Tucker, Warwick, 1961-
Format: Électronique eBook
Langue:Inglés
Publié: Princeton : Princeton University Press, ©2011.
Sujets:
Accès en ligne:Texto completo