Title: Methods for automatic error analysis of numerical algorithms
Subjects: Data processing, Numerical analysis, Roundoff errors