Validated numerics : a short introduction to rigorous computations /
Tucker, Warwick,1961-
Princeton, N.J. ; Woodstock : Princeton University Press,
c2011.
Includes bibliographical references and index.
Numerical calculations
Science