Validated Numerics: A Short Introduction to Rigorous Computations

Introduction

by Warwick Tucker

Hardcover

ISBN: 978-0-691-14781-9

ISBN-10: 0-691-14781-7

Princeton University Press · 2011