D. H. Bailey, R. Barrio, and J. M. Borwein, High-precision computation: Mathematical physics and dynamics, Applied Mathematics and Computation, vol.218, issue.20, pp.10106-10121, 2012.
DOI : 10.1016/j.amc.2012.03.087
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.158.1047

Y. Bertot, N. Magaud, and P. Zimmermann, A proof of GMP square root, Journal of Automated Reasoning, vol.29, issue.3/4, pp.225-252, 2002.
DOI : 10.1023/A:1021987403425
URL : https://hal.archives-ouvertes.fr/inria-00101044

R. P. Brent, The complexity of multiple-precision arithmetic. The Complexity of Computational Problem Solving, pp.126-165, 1976.

R. P. Brent and P. Zimmermann, Modern Computer Arithmetic, 2011.
DOI : 10.1017/CBO9780511921698
URL : https://hal.archives-ouvertes.fr/cel-01500109

C. Daramy, D. Defour, F. De-dinechin, and J. M. Muller, CR-LIBM: a correctly rounded elementary function library, Advanced Signal Processing Algorithms, Architectures, and Implementations XIII, pp.458-464, 2003.
DOI : 10.1117/12.505591

F. De-dinechin, D. Defour, and C. Lauter, Fast correct rounding of elementary functions in double precision using double-extended arithmetic, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00071446

D. Defour and F. De-dinechin, Software Carry-Save: A Case Study for Instruction-Level Parallelism, Parallel Computing Technologies Lecture Notes in Computer Science, vol.2763, pp.207-214, 2003.
DOI : 10.1007/978-3-540-45145-7_18

F. , D. Dinechin, and A. Tisserand, Multipartite table methods, IEEE Transactions on Computers, vol.54, issue.3, pp.319-330, 2005.
URL : https://hal.archives-ouvertes.fr/ensl-00542210

M. Dukhan and R. Vuduc, Methods for High-Throughput Computation of Elementary Functions, Parallel Processing and Applied Mathematics, pp.86-95, 2014.
DOI : 10.1007/978-3-642-55224-3_9

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

J. Harrison, T. Kubaska, S. Story, and P. T. Tang, The computation of transcendental functions on the IA-64 architecture, In Intel Technology Journal. Citeseer, 1999.

Y. Hida, X. S. Li, and D. H. Bailey, Library for double-double and quad-double arithmetic, 2007.

F. Johansson, Arb, version 2.4.0 or later (git repository). https

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

F. Johansson, Evaluating parametric holonomic sequences using rectangular splitting, Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation, ISSAC '14, pp.256-263, 2014.
DOI : 10.1145/2608628.2608629
URL : http://arxiv.org/abs/1310.3741

O. Kupriianova and C. Lauter, Metalibm: A Mathematical Functions Code Generator, Mathematical Software ? ICMS 2014, pp.713-717, 2014.
DOI : 10.1007/978-3-662-44199-2_106

Y. Lei, Y. Dou, L. Shen, J. Zhou, and S. Guo, Special-purposed VLIW architecture for IEEE-754 quadruple precision elementary functions on FPGA, 2011 IEEE 29th International Conference on Computer Design (ICCD), pp.219-225, 2011.
DOI : 10.1109/ICCD.2011.6081400

J. M. Muller, Elementary functions: algorithms and implementation, 2006.
URL : https://hal.archives-ouvertes.fr/ensl-00000008

M. J. Schulte and J. E. Stine, Approximating elementary functions with symmetric bipartite tables, IEEE Transactions on Computers, vol.48, issue.8, pp.842-847, 1999.
DOI : 10.1109/12.795125

D. M. Smith, Efficient multiple-precision evaluation of elementary functions, Mathematics of Computation, vol.52, issue.185, pp.131-134, 1989.
DOI : 10.1090/S0025-5718-1989-0971406-0

A. Steel, Reduce everything to multiplication, Computing by the Numbers: Algorithms , Precision, and Complexity, 2006.

J. E. Stine and M. J. Schulte, The symmetric table addition method for accurate function approximation Journal of VLSI signal processing systems for signal, image and video technology, pp.167-177, 1999.

M. The, The MPFR library: algorithms and proofs