INTLAB
S.M. Rump. Verified Bounds for Least Squares Problems and Underdetermined Linear Systems. en:SIAM Journal of Matrix Analysis and Applications (SIMAX), 33(1):130-148, 2012.
S.M. Rump: Improved componentwise verified error bounds for least squares problems and underdetermined linear systems, Numerical Algorithms, 66:309-322, 2013.
R. Krawzcyk, A. Neumaier: Interval slopes for rational functions and associated centered forms, en:SIAM Journal of Numerical Analysis 22, 604-616 (1985)
S.M. Rump: Expansion and Estimation of the Range of Nonlinear Functions, en:Mathematics of Computation 65(216), pp. 1503-1512, 1996.