Title: Numerical toolbox for verified computing
Subjects: Numerical analysis, Error analysis (Mathematics)