A. Abad, R. Barrio, and A. Dena, Computing periodic orbits with arbitrary precision, Physical Review E, vol.84, issue.1, p.16701, 2011.
DOI : 10.1103/PhysRevE.84.016701

D. H. Bailey, Y. Hida, X. S. Li, and B. Thompson, ARPREC: an arbitrary precision computation package, 2002.
DOI : 10.2172/817634

M. Benedicks and L. Carleson, The Dynamics of the Henon Map, The Annals of Mathematics, vol.133, issue.1, pp.73-169, 1991.
DOI : 10.2307/2944326

L. Fousse, G. Hanrot, V. Lefèvre, P. Pélissier, and P. Zimmermann, MPFR, ACM Transactions on Mathematical Software, vol.33, issue.2, 2007.
DOI : 10.1145/1236463.1236468
URL : https://hal.archives-ouvertes.fr/inria-00103655

Z. Galias and W. Tucker, Combination of exhaustive search and continuation method for the study of sinks in the Hénon map, Proc. IEEE Int. Symposium on Circuits and Systems, ISCAS'13, pp.2571-2574, 2013.

M. Hénon, A two-dimensional mapping with a strange attractor, Communications in Mathematical Physics, vol.20, issue.1, pp.69-77, 1976.
DOI : 10.1007/BF01608556

Y. Hida, X. S. Li, and D. H. Bailey, Algorithms for quad-double precision floating point arithmetic, Proceedings 15th IEEE Symposium on Computer Arithmetic. ARITH-15 2001, pp.155-162, 2001.
DOI : 10.1109/ARITH.2001.930115

E. N. Lorenz, Deterministic Nonperiodic Flow, Journal of the Atmospheric Sciences, vol.20, issue.2, pp.130-141, 1963.
DOI : 10.1175/1520-0469(1963)020<0130:DNF>2.0.CO;2

M. Lu, B. He, and Q. Luo, Supporting extended precision on graphics processors, Proceedings of the Sixth International Workshop on Data Management on New Hardware, DaMoN '10, pp.19-26, 2010.
DOI : 10.1145/1869389.1869392

R. Moore, Interval Analysis, 1966.

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

T. Nakayama and D. Takahashi, Implementation of multiple-precision floating-point arithmetic library for GPU computing, Proceedings of the 23rd IASTED International Conference on Parallel and Distributed Computing and Systems, PDCS 2011, pp.343-349, 2011.

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

H. D. Nguyen, S. Graillat, and J. Lamotte, Extended precision with a rounding mode toward zero environment. Application to the Cell processor, International Journal of Reliability and Safety, vol.3, issue.1/2/3, pp.153-173, 2009.
DOI : 10.1504/IJRS.2009.026839
URL : https://hal.archives-ouvertes.fr/hal-01146513

D. M. Priest, Algorithms for arbitrary precision floating point arithmetic, [1991] Proceedings 10th IEEE Symposium on Computer Arithmetic, pp.132-145, 1991.
DOI : 10.1109/ARITH.1991.145549
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.55.3546

D. M. Priest, On Properties of Floating Point Arithmetics: Numerical Stability and the Cost of Accurate Computations, Thesis (Ph.D. in mathematics, 1992.

S. M. Rump, T. Ogita, and S. Oishi, Accurate Floating-Point Summation Part I: Faithful Rounding, SIAM Journal on Scientific Computing, vol.31, issue.1
DOI : 10.1137/050645671

S. M. Rump, T. Ogita, and S. Oishi, -Fold Faithful and Rounding to Nearest, SIAM Journal on Scientific Computing, vol.31, issue.2, pp.311269-1302, 2008.
DOI : 10.1137/07068816X
URL : https://hal.archives-ouvertes.fr/hal-00261004

J. R. Shewchuk, Adaptive Precision Floating-Point Arithmetic and Fast Robust Geometric Predicates, Discrete & Computational Geometry, vol.18, issue.3, pp.305-363, 1996.
DOI : 10.1007/PL00009321

W. Tucker, A Rigorous ODE Solver and Smale???s 14th Problem, Foundations of Computational Mathematics, vol.2, issue.1, pp.53-117, 2002.
DOI : 10.1007/s002080010018

N. Yamanaka, T. Ogita, S. M. Rump, and S. Oishi, A parallel algorithm for accurate dot product, Parallel Computing, vol.34, issue.6-8, pp.6-8392, 2008.
DOI : 10.1016/j.parco.2008.02.002