H. David and . Bailey, A Portable High Performance Multiprecision Package, 1993.

S. Boldo and G. Melquiond, Flocq: A Unified Library for Proving Floating-Point Algorithms in Coq, 2011 IEEE 20th Symposium on Computer Arithmetic, pp.243-252, 2011.
DOI : 10.1109/ARITH.2011.40

URL : https://hal.archives-ouvertes.fr/inria-00534854

T. J. Dekker, A floating-point technique for extending the available precision, Numerische Mathematik, vol.5, issue.3, pp.224-242, 1971.
DOI : 10.1007/BF01397083

D. Goldberg, What every computer scientist should know about floating-point arithmetic, ACM Computing Surveys, vol.23, issue.1, pp.5-47, 1991.
DOI : 10.1145/103162.103163

M. Joldes, O. Marty, J. Muller, and V. Popescu, Arithmetic Algorithms for Extended Precision Using Floating-Point Expansions, IEEE Transactions on Computers, vol.65, issue.4, pp.1197-1210, 2016.
DOI : 10.1109/TC.2015.2441714

URL : https://hal.archives-ouvertes.fr/hal-01111551

D. Ervin and K. , The Art of Computer Programming: Seminumerical Algorithms, 1981.

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, Adaptive Precision Floating-Point Arithmetic and Fast Robust Geometric Predicates, Discrete & Computational Geometry, vol.18, issue.3, pp.305-363, 1997.
DOI : 10.1007/PL00009321