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

D. Bates, J. Hauenstein, A. Sommese, and C. Wampler, Bertini: software for numerical algebraic geometry, 2006.

C. Beltrán and A. Leykin, Certified Numerical Homotopy Tracking, Experimental Mathematics, vol.133, issue.27, pp.69-83, 2012.
DOI : 10.1080/10586458.2011.606184

F. Goualard, Fast and correct SIMD algorithms for interval arithmetic, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00288456

J. Van-der-hoeven, Ball arithmetic, Logical approaches to Barriers in Computing and Complexity , number 6 in Preprint-Reihe Mathematik, pp.179-208, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00432152

J. Van-der-hoeven, Reliable homotopy continuation, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00589948

J. Van-der-hoeven and G. Lecerf, Interfacing mathemagix with C++, Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation, ISSAC '13, pp.363-370, 2013.
DOI : 10.1145/2465506.2465511
URL : https://hal.archives-ouvertes.fr/hal-00771214

J. Van-der-hoeven and G. Lecerf, Mathemagix User Guide. CNRS & École polytechnique, France, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00785549

L. Jaulin, M. Kieffer, 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

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

B. Lambov, Interval Arithmetic Using SSE-2, Lect. Notes Comput. Sci, vol.5045, pp.102-113, 2008.
DOI : 10.1007/978-3-540-85521-7_6
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.84.2642

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

R. E. Moore, R. B. Kearfott, and M. J. Cloud, Introduction to Interval Analysis, 2009.
DOI : 10.1137/1.9780898717716

J. Muller, N. Brisebarre, F. De-dinechin, C. Jeannerod, V. Lefèvre et al., Handbook of Floating-Point Arithmetic, 2010.
DOI : 10.1007/978-0-8176-4705-6
URL : https://hal.archives-ouvertes.fr/ensl-00379167

H. Diep-nguyen, Efficient algorithms for verified scientific computing: numerical linear algebra using interval arithmetic, 2011.

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

T. Ogita and S. Oishi, Fast Inclusion of Interval Matrix Multiplication, Reliable Computing, vol.27, issue.1???2, pp.191-205, 2005.
DOI : 10.1007/s11155-005-3615-2

K. Ozaki, T. Ogita, and S. Oishi, Tight and efficient enclosure of matrix multiplication by using optimized BLAS, Numerical Linear Algebra with Applications, vol.11, issue.3, pp.237-248, 2011.
DOI : 10.1002/nla.724

K. Ozaki, T. Ogita, S. M. Rump, and S. Oishi, Fast algorithms for floating-point interval matrix multiplication, Journal of Computational and Applied Mathematics, vol.236, issue.7, pp.1795-1814, 2012.
DOI : 10.1016/j.cam.2011.10.011

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

N. Revol, . Ph, and . Théveny, Numerical Reproducibility and Parallel Computations: Issues for Interval Algorithms, IEEE Transactions on Computers, vol.63, issue.8, pp.1915-1924, 2014.
DOI : 10.1109/TC.2014.2322593
URL : https://hal.archives-ouvertes.fr/hal-00916931

S. M. Rump, Fast and parallel interval arithmetic, Bit Numerical Mathematics, vol.39, issue.3, pp.534-554, 1999.
DOI : 10.1023/A:1022374804152

S. M. Rump, Verification methods, Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, ISSAC '10, pp.287-449, 2010.
DOI : 10.1145/1837934.1837937

S. M. Rump, Fast interval matrix multiplication, Numerical Algorithms, vol.89, issue.1, pp.1-34, 2012.
DOI : 10.1007/s11075-011-9524-z

N. Stolte, Arbitrary 3D Resolution Discrete Ray Tracing of Implicit Surfaces, Discrete Geometry for Computer Imagery, pp.414-426, 2005.
DOI : 10.1007/978-3-540-31965-8_38

A. J. Sommese and C. W. Wampler, The Numerical Solution of Systems of Polynomials Arising in Engineering and Science, World Scientific, 2005.
DOI : 10.1142/5763

J. Verschelde, Homotopy continuation methods for solving polynomial systems, 1996.

J. Verschelde, Algorithm 795: PHCpack: a general-purpose solver for polynomial systems by homotopy continuation, ACM Transactions on Mathematical Software, vol.25, issue.2, pp.251-276, 1999.
DOI : 10.1145/317275.317286

J. W. Von and . Gudenberg, Interval arithmetic on multimedia architectures, Reliab. Comput, vol.8, issue.4, pp.307-312, 2002.