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

J. D. Dixon, Exact solution of linear equations usingP-adic expansions, Numerische Mathematik, vol.82, issue.1, pp.137-141, 1982.
DOI : 10.1007/BF01459082

N. J. Higham, Accuracy and Stability of Numerical Algorithms, 2002.
DOI : 10.1137/1.9780898718027

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

A. Neumaier, A simple derivation of the Hansen-Bliek-Rohn-Ning-Kearfott enclosure for linear interval equations, Reliable Computing, vol.5, issue.2, pp.131-136227, 1999.
DOI : 10.1023/A:1009997221089

H. D. Nguyen, Efficient algorithms for verified scientific computing: numerical linear algebra using interval arithmetic, 2011.
URL : https://hal.archives-ouvertes.fr/ensl-00560188

K. Ozaki, T. Ogita, and S. Oishi, An algorithm for automatically selecting a suitable verification method for linear systems, Numerical Algorithms, vol.26, issue.2, pp.363-382, 2011.
DOI : 10.1007/s11075-010-9389-6

J. Rohn, Die L??sungseinschlie??ung bei linearen Intervall-Gleichungen ist NP-hart, Computing, vol.22, issue.3-4, pp.365-368, 1994.
DOI : 10.1007/BF02307386

S. M. Rump, INTLAB ??? INTerval LABoratory, Developments in Reliable Computing (Tibor Csendes ed.), pp.77-104, 1999.
DOI : 10.1007/978-94-017-1247-7_7

S. M. Rump, Inversion of extremely Ill-conditioned matrices in floating-point, Japan Journal of Industrial and Applied Mathematics, vol.31, issue.2-3, pp.249-277, 2009.
DOI : 10.1007/BF03186534