J. Laskar and M. Gastineau, Existence of collisional trajectories of Mercury, Mars and Venus with the Earth, Nature, vol.317, issue.7248, pp.817-819, 2009.
DOI : 10.1038/nature08096

M. Joldes, V. Popescu, and W. Tucker, Searching for sinks of Hénon map using a multiple-precision GPU arithmetic library, LAAS, Tech. Rep, 2013.

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

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

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

J. Muller, N. Brisebarre, F. De-dinechin, C. Jeannerod, V. Lefèvre et al., Handbook of Floating-Point Arithmetic, Birkhäuser Boston, 2010.
DOI : 10.1007/978-0-8176-4705-6

URL : https://hal.archives-ouvertes.fr/ensl-00379167

M. D. Ercegovac and T. Lang, Division and Square Root: Digit-Recurrence Algorithms and Implementa- tions

T. J. Ypma, Historical Development of the Newton???Raphson Method, SIAM Review, vol.37, issue.4, pp.531-551, 1995.
DOI : 10.1137/1037125

M. Cornea, R. A. Golliver, and P. Markstein, Correctness proofs outline for Newton?Raphson-based floating-point divide and square root algorithms, Proceedings of the 14th IEEE Symposium on Computer Arithmetic, pp.96-105, 1999.

D. M. Priest, Algorithms for arbitrary precision floating point arithmetic, [1991] Proceedings 10th IEEE Symposium on Computer Arithmetic, pp.132-144, 1991.
DOI : 10.1109/ARITH.1991.145549

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

M. Daumas and C. Finot, Division of floating point expansions with an application to the computation of a determinant, Journal of Universal Computer Science, vol.5, issue.6, pp.323-338, 1999.