TY  - BOOK
AU  - Tucker, Warwick,
CN  - QA76.95
CN  - QA76.95
CY  - Princeton :
DA  - c2011.
ID  - 427782
KW  - Numerical calculations
KW  - Science
PB  - Princeton University Press,
PP  - Princeton :
PY  - c2011.
SN  - 9780691147819 (alk. paper)
SN  - 0691147817 (alk. paper)
T1  - Validated numerics :a short introduction to rigorous computations /
TI  - Validated numerics :a short introduction to rigorous computations /
ER  -