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
MPFR, ACM Transactions on Mathematical Software, vol.33, issue.2, 2007. ,
DOI : 10.1145/1236463.1236468
URL : https://hal.archives-ouvertes.fr/inria-00070266
Bounding the Solution of Interval Linear Equations, SIAM Journal on Numerical Analysis, vol.29, issue.5, pp.1493-1503, 1992. ,
DOI : 10.1137/0729086
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
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. ,
SuperLU_DIST, ACM Transactions on Mathematical Software, vol.29, issue.2, pp.110-140, 2003. ,
DOI : 10.1145/779359.779361
Iterative Refinement in Floating Point, Journal of the ACM, vol.14, issue.2, pp.316-321, 1967. ,
DOI : 10.1145/321386.321394
From Interval Analysis to Taylor Models -An Overview, IMACS'05, 17th IMACS World Congress on Scientific Computation , Applied Mathematics and Simulation, 2005. ,
Interval Methods for Systems of equations, 1990. ,
DOI : 10.1017/CBO9780511526473
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
Cheap and Tight Bounds: The Recent Result by E. Hansen Can Be Made More Efficient, Interval Computations, issue.4, pp.13-21, 1993. ,
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
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