G. Alefeld and J. Herzberger, Introduction to Interval Analysis, 1983.

J. Chesneaux, The equality relations in scientific computing, Numerical Algorithms, vol.35, issue.2, pp.129-143, 1994.
DOI : 10.1007/BF02140678

J. Chesneaux, Stochastic arithmetic properties, Computational and Applied Mathematics, I. Algorithms and Theory. Selected and revised papers from the IMACS 13th World Congress, pp.81-91, 1991.

N. J. Higham, Accuracy and Stability of Numerical Algorithms, Society for Industrial and Applied Mathematics (SIAM), 2002.
DOI : 10.1137/1.9780898718027

F. Jézéquel and J. Chesneaux, CADNA: a library for estimating round-off error propagation, Computer Physics Communications, vol.178, issue.12, pp.933-955, 2008.
DOI : 10.1016/j.cpc.2008.02.003

F. Jézéquel and J. Lamotte, Numerical validation of Slater integrals computation on GPU, 14th International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, pp.78-79, 2010.

F. Jézéquel, J. Lamotte, and O. Chubach, Parallelization of discrete stochastic arithmetic on multicore architectures, 2013 10th International Conference on Information Technology: New Generations, pp.160-166, 2013.
DOI : 10.1109/ITNG.2013.28

F. Jézéquel, P. Langlois, and N. , First steps towards more numerical reproducibility, SMAI'2013: 6` eme biennale des Mathématiques Appliquées et Industrielles, pp.1-010, 2013.

U. W. Kulisch, Advanced Arithmetic for the Digital Computer, 2002.
DOI : 10.1007/978-3-7091-0525-2

S. Mohanty, A. K. Mohanty, and F. Carminati, Efficient pseudo-random number generation for monte-carlo simulations using graphic processors, Journal of Physics: Conference Series, vol.368, issue.1, 2012.
DOI : 10.1088/1742-6596/368/1/012024

S. Montan, J. Chesneaux, C. Denis, and J. Lamotte, Towards an efficient implementation of CADNA in the BLAS : Example of DgemmCADNA routine, 15th GAMM -IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN), 2012.
URL : https://hal.archives-ouvertes.fr/hal-00765529

M. Pharr and W. R. Mark, ispc: A SPMD compiler for high-performance CPU programming, 2012 Innovative Parallel Computing (InPar), pp.1-13, 2012.
DOI : 10.1109/InPar.2012.6339601

N. Revol and P. Théveny, Parallel implementation of interval matrix multiplication, Reliable Computing, vol.19, issue.1, pp.91-106, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00801890

J. Vignes, Zéro mathématique et zéro informatique Comptes Rendus de l'Académie des Sciences -Series I -Mathematics, also: La Vie des Sciences, pp.997-1000, 1986.

J. Vignes, A stochastic arithmetic for reliable scientific computation, Mathematics and Computers in Simulation, vol.35, issue.3, pp.233-261, 1993.
DOI : 10.1016/0378-4754(93)90003-D

J. Vignes, Discrete Stochastic Arithmetic for Validating Results of Numerical Software, Numerical Algorithms, vol.37, issue.1-4, pp.377-390, 2004.
DOI : 10.1023/B:NUMA.0000049483.75679.ce
URL : https://hal.archives-ouvertes.fr/hal-01146498

J. H. Wilkinson, Rounding Errors in Algebraic Processes, HMSO, vol.32, 1963.