Numerical calculations - Verification.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Validated numerics : a short introduction to rigorous computations by: Tucker, Warwick (1961-) (Language materials, printed)