Validated numerics : a short introduction to rigorous computations /

Includes bibliographical references and index

Bibliographic Details
Main Author: Tucker, Warwick, 1961-
Format:
Language:eng
Published: Princeton : Princeton University Press, c201
Subjects: