Title: Scientific Computing, Computer Arithmetic, and Validated Numerics
Subjects: Numerical analysis, data processing, Computer arithmetic, Numerical calculations