Tucker, Warwick
Validated numerics : a short introduction to rigorous computations
- Princeton: Princeton University Press, 2011
- xii, 138 p.; ill.: 24 cm.
9780691147819 (hbk)
Numerical calculations -- Verification
Science -- Data processing
502.85 / TUC