Libros

Scientific Computing, Computer Arithmetic, and Validated Numerics Scientific Computing, Computer Arithmetic, and Validated Numerics
2016
Validated Numerics Validated Numerics
2011