article: Validated numerics
links: Numerical digit Numerical methods for ordinary differential equations Numerical integration Affine arithmetic MATLAB Kantorovich theorem INTLAB International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics Society for Industrial and Applied Mathematics Numerical methods for partial differential equations Numerical linear algebra