G. Alefeld and J. Herzberger, Introduction to interval analysis, 1983.

L. Blum, F. Cucker, M. Shub, and S. Smale, Complexity and real computation, 1998.
DOI : 10.1007/978-1-4612-0701-6

J. J. Dongarra, C. B. Moler, and J. H. Wilkinson, Improving the Accuracy of Computed Eigenvalues and Eigenvectors, SIAM Journal on Numerical Analysis, vol.20, issue.1, p.2345, 1983.
DOI : 10.1137/0720002

S. Graillat, . Ph, and . Trébuchet, A new algorithm for computing certied numerical approximations of the roots of a zero-dimensional system, Proc. ISSAC '09, p.167174, 2009.

J. Van-der-hoeven, Ball arithmetic, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00432152

L. Jaulin, M. Kieer, O. Didrit, and E. Walter, Applied interval analysis, 2001.
DOI : 10.1007/978-1-4471-0249-6
URL : https://hal.archives-ouvertes.fr/hal-00845131

F. Johansson, Arb, ACM Communications in Computer Algebra, vol.47, issue.3/4, p.166169, 2014.
DOI : 10.1145/2576802.2576828
URL : https://hal.archives-ouvertes.fr/hal-01394258

U. W. Kulisch, Computer Arithmetic and Validity. Theory, Implementation, and Applications, Number 33 in Studies in Mathematics. de Gruyter, 2008.
DOI : 10.1515/9783110301793

S. Miyajima, Fast enclosure for all eigenvalues in generalized eigenvalue problems, Journal of Computational and Applied Mathematics, vol.233, issue.11, p.29943004, 2010.
DOI : 10.1016/j.cam.2009.11.048

R. E. Moore, Interval Analysis, N.J, 1966.

A. Neumaier, Interval methods for systems of equations, 1990.
DOI : 10.1017/CBO9780511526473

S. Rump and S. Graillat, Veried error bounds for multiple roots of systems of nonlinear equations, Num. Algs, vol.54, p.359377, 2010.

S. M. Rump, Einschlie??ung der L??sung f??r das allgemeine, komplexe Eigenproblem, Computing, vol.24, issue.1, p.225238, 1989.
DOI : 10.1007/3-540-10861-0

S. M. Rump, INTLAB ??? INTerval LABoratory, Developments in Reliable Computing, p.77104, 1999.
DOI : 10.1007/978-94-017-1247-7_7
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.8132

S. M. Rump, Computational error bounds for multiple or nearly multiple eigenvalues. Linear algebra and its applications, p.209226, 2001.
DOI : 10.1016/s0024-3795(00)00279-2
URL : http://doi.org/10.1016/s0024-3795(00)00279-2

T. Yamamoto, Error bounds for computed eigenvalues and eigenvectors, Numerische Mathematik, vol.2, issue.2, p.189199, 1980.
DOI : 10.1007/BF01396059