Title: Scientific Computing and Validated Numerics
Subjects: Science, data processing, Numerical analysis, data processing, Mathematics, Statistics