Validated numerics
Subtitle: a short introduction to rigorous computations
By: Warwick Tucker
Publisher: Princeton University Press
Published: 2011
Place of publication: Princeton
Language: eng
Number of pages: 138
ISBN-13: 9780691147819
Subjects: Science; Numerical calculations; Verification; Data processing
Notes: Includes bibliographical references and index.