article: INTLAB
links: Numerical linear algebra Shinichi Oishi Numerical methods for ordinary differential equations Interval arithmetic Linux Numerical integration Validated numerics GNU Octave Affine arithmetic MATLAB Society for Industrial and Applied Mathematics Windows English language Unix Microsoft Windows MathWorks