Warwick Tucker

Bücher
Validated Numerics Validated Numerics
Validated Numerics
2011
Scientific Computing, Computer Arithmetic, and Validated Numerics Scientific Computing, Computer Arithmetic, and Validated Numerics
Scientific Computing, Computer Arithmetic, and Validated Numerics
2016