Validated Numerics: a short introduction to rigorous computations
Warwick Tucker
Validated Numerics: a short introduction to rigorous computations - - Princeton University Press 2011 - xii, 138p. - .
bill No. SAR/113/2011, dt.04-11-2011
9780691147819 (HB)
Numerical calculations – Verification
Numerical Computations
Computation
004.01518 TUC(VAL)
Validated Numerics: a short introduction to rigorous computations - - Princeton University Press 2011 - xii, 138p. - .
bill No. SAR/113/2011, dt.04-11-2011
9780691147819 (HB)
Numerical calculations – Verification
Numerical Computations
Computation
004.01518 TUC(VAL)