R. Barrett, M. Berry, T. F. Chan, J. Demmel, J. Donato et al., Templates for the Solution of Linear Systems: Building Blocks for Iterative Methods, 1994.

Y. Saad, Iterative methods for sparse linear systems, 2003.

W. Gropp, T. Hoefler, R. Thakur, and E. Lusk, Using advanced MPI: Modern features of the message-passing interface, 2014.

C. L. Lawson, R. J. Hanson, D. R. Kincaid, and F. T. Krogh, Basic linear algebra subprograms for Fortran usage, ACM TOMS, vol.5, pp.308-323, 1979.

J. J. Dongarra, J. D. Croz, S. Hammarling, and I. Duff, A set of level 3 basic linear algebra subprograms, ACM TOMS, vol.16, pp.1-17, 1990.

S. Collange, D. Defour, S. Graillat, and R. Iakymchuk, Numerical reproducibility for the parallel reduction on multi-and many-core architectures, ParCo, vol.49, pp.83-97, 2015.
URL : https://hal.archives-ouvertes.fr/hal-00949355

J. Demmel and H. D. Nguyen, Parallel Reproducible Summation, IEEE Transactions on Computers, vol.64, pp.2060-2070, 2015.

R. Iakymchuk, S. Graillat, D. Defour, and E. S. Quintana-orti, Hierarchical Approach for Deriving a Reproducible LU factorization, p.1419813, 2019.
URL : https://hal.archives-ouvertes.fr/hal-01382645

R. Iakymchuk, D. Defour, S. Collange, and S. Graillat, Reproducible and Accurate Matrix Multiplication, LNCS, vol.9553, pp.126-137, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01539180

N. J. Higham, Accuracy and stability of numerical algorithms, 2002.

J. Muller, N. Brisebarre, F. De-dinechin, C. Jeannerod, V. Lefèvre et al., Handbook of Floating-Point Arithmetic, Birkhäuser, 2010.

S. M. Rump, T. Ogita, and S. Oishi, Accurate floating-point summation part ii: Sign, k-fold faithful and rounding to nearest, SIAM J. Sci. Comput, vol.31, pp.1269-1302, 2008.

S. M. Rump, Computer-assisted proofs and self-validating methods, Handbook on Accuracy and Reliability in Scientific Computation, SIAM, pp.195-240, 2005.

D. H. Bailey, High-precision computation: applications and challenges, Proceedings of ARITH-21, p.1, 2013.

D. R. Lutz and C. N. Hinds, High-precision anchored accumulators for reproducible floating-point summation, Proceedings of ARITH-24, pp.98-105, 2017.

N. Burgess, C. Goodyer, D. R. Lutz, and C. N. Hinds, High-precision anchored accumulators for reproducible floating-point summation, IEEE Transactions on Computers, 2019.

, IEEE Standard for Floating-Point Arithmetic, pp.754-2008, 2008.

D. Mukunoki, T. Ogita, and K. Ozaki, Accurate and reproducible blas routines with ozaki scheme for many-core architectures, Proc. International Conference on Parallel Processing and Applied Mathematics (PPAM2019), 2019.

D. E. Knuth, The Art of Computer Programming: Seminumerical Algorithms, vol.2, 1969.

T. Ogita, S. M. Rump, and S. Oishi, Accurate sum and dot product, SIAM J. Sci. Comput, vol.26, pp.1955-1988, 2005.

U. Kulisch and V. Snyder, The Exact Dot Product As Basic Tool for Long Interval Arithmetic, Computing, vol.91, pp.307-313, 2011.

R. Iakymchuk, S. Collange, D. Defour, and S. Graillat, ExBLAS: Reproducible and accurate BLAS library, Proceedings of the NRE2015 workshop held as part of SC15, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01140280

Y. Hida, X. S. Li, and D. H. Bailey, Algorithms for quad-double precision floating point arithmetic, Proceedings of ARITH-15, pp.155-162, 2001.

S. Boldo and G. Melquiond, Emulation of a FMA and Correctly Rounded Sums: Proved Algorithms Using Rounding to Odd, IEEE Transactions on Computers, vol.57, pp.462-471, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00080427

D. M. Priest, Algorithms for arbitrary precision floating point arithmetic, 10th IEEE Symposium on Computer Arithmetic, pp.132-143, 1991.

M. Wiesenberger, L. Einkemmer, M. Held, A. Gutierrez-milla, X. X. Saez et al., Computer Physics Communications, vol.238, pp.145-156, 2019.

, HPCG -high performance Conjugate Gradients, 2015.

J. Dongarra and M. A. Heroux, Toward a new metric for ranking high performance computing systems, 2013.

A. Petitet, R. C. Whaley, J. Dongarra, and A. Cleary, HPL -a portable implementation of the high-performance Linpack benchmark for distributedmemory computers, 2008.

L. Fousse, G. Hanrot, V. Lefèvre, P. Pélissier, and P. Zimmermann, MPFR: A Multiple-precision Binary Floating-point Library with Correct Rounding, ACM TOMS, vol.33, p.13, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00070266

S. M. Rump, T. Ogita, and S. Oishi, Fast high precision summation, Nonlinear Theory and Its Applications, IEICE, vol.1, pp.2-24, 2010.

J. Demmel and H. D. Nguyen, Fast reproducible floating-point summation, Proceedings of ARITH-21, pp.163-172, 2013.

H. D. Nguyen and J. Demmel, Reproducible tall-skinny QR, Proceedings of ARITH-22, pp.152-159, 2015.

K. Ozaki, T. Ogita, S. Oishi, and S. M. Rump, Error-free transformations of matrix multiplication by using fast routines of matrix multiplication and its applications, Numerical Algorithms, vol.59, pp.95-118, 2012.

E. Carson and N. J. Higham, Accelerating the solution of linear systems by iterative refinement in three precisions, SIAM J. Sci. Comput, vol.40, pp.817-847, 2018.