J. Demmel, Y. Hida, W. Kahan, X. S. Li, S. Mukherjee et al., Error bounds from extra-precise iterative refinement, ACM Transactions on Mathematical Software, vol.32, issue.2, pp.325-351, 2006.
DOI : 10.1145/1141885.1141894

L. Fousse, G. Hanrot, V. Lefèvre, P. Pélissier, and P. Zimmermann, MPFR, ACM Transactions on Mathematical Software, vol.33, issue.2, 2007.
DOI : 10.1145/1236463.1236468

URL : https://hal.archives-ouvertes.fr/inria-00070266

E. R. Hansen, Bounding the Solution of Interval Linear Equations, SIAM Journal on Numerical Analysis, vol.29, issue.5, pp.1493-1503, 1992.
DOI : 10.1137/0729086

N. J. Higham, Iterative refinement for linear systems and LAPACK, IMA Journal of Numerical Analysis, vol.17, issue.4, pp.495-509, 1997.
DOI : 10.1093/imanum/17.4.495

J. Langou, J. Langou, P. Luszczek, J. Kurzak, A. Buttari et al., Exploiting the Performance of 32 bit Floating Point Arithmetic in Obtaining 64 bit Accuracy (Revisiting Iterative Refinement for Linear Systems) - Article 113, Proc. ACM/IEEE conf. on Supercomputing, 2006.

X. S. Li, SuperLU_DIST, ACM Transactions on Mathematical Software, vol.29, issue.2, pp.110-140, 2003.
DOI : 10.1145/779359.779361

C. B. Moler, Iterative Refinement in Floating Point, Journal of the ACM, vol.14, issue.2, pp.316-321, 1967.
DOI : 10.1145/321386.321394

M. Neher, From Interval Analysis to Taylor Models -An Overview, IMACS'05, 17th IMACS World Congress on Scientific Computation , Applied Mathematics and Simulation, 2005.

A. Neumaier, Interval Methods for Systems of equations, 1990.
DOI : 10.1017/CBO9780511526473

N. Revol and F. Rouillier, Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library, Reliable Computing, vol.2, issue.3, pp.275-290, 2005.
DOI : 10.1007/s11155-005-6891-y

URL : https://hal.archives-ouvertes.fr/inria-00544998

J. Rohn, Cheap and Tight Bounds: The Recent Result by E. Hansen Can Be Made More Efficient, Interval Computations, issue.4, pp.13-21, 1993.

J. Rohn and V. Kreinovich, Computing Exact Componentwise Bounds on Solutions of Lineary Systems with Interval Data is NP-Hard, SIAM Journal on Matrix Analysis and Applications, vol.16, issue.2, pp.415-420, 1995.
DOI : 10.1137/S0895479893251198

R. D. Skeel, Iterative refinement implies numerical stability for Gaussian elimination, Mathematics of Computation, vol.35, issue.151, pp.817-832, 1980.
DOI : 10.1090/S0025-5718-1980-0572859-4