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

Main Author:	Tucker, Warwick, 1961-
Format:	eBook
Language:	English
Published:	Princeton : Princeton University Press, [2011]
Subjects:	Numerical calculations > Verification. Science > Data processing. Computer Science. Science. Electronic books.
Online Access:	Connect to the full text of this electronic book