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
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
The complexity of multiple-precision arithmetic. The Complexity of Computational Problem Solving, pp.126-165, 1976. ,
Modern Computer Arithmetic, 2011. ,
DOI : 10.1017/CBO9780511921698
URL : https://hal.archives-ouvertes.fr/cel-01500109
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
Fast correct rounding of elementary functions in double precision using double-extended arithmetic, 2004. ,
URL : https://hal.archives-ouvertes.fr/inria-00071446
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
Multipartite table methods, IEEE Transactions on Computers, vol.54, issue.3, pp.319-330, 2005. ,
URL : https://hal.archives-ouvertes.fr/ensl-00542210
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
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
The computation of transcendental functions on the IA-64 architecture, In Intel Technology Journal. Citeseer, 1999. ,
Library for double-double and quad-double arithmetic, 2007. ,
Arb, version 2.4.0 or later (git repository). https ,
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
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
Metalibm: A Mathematical Functions Code Generator, Mathematical Software ? ICMS 2014, pp.713-717, 2014. ,
DOI : 10.1007/978-3-662-44199-2_106
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
Elementary functions: algorithms and implementation, 2006. ,
URL : https://hal.archives-ouvertes.fr/ensl-00000008
Approximating elementary functions with symmetric bipartite tables, IEEE Transactions on Computers, vol.48, issue.8, pp.842-847, 1999. ,
DOI : 10.1109/12.795125
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
Reduce everything to multiplication, Computing by the Numbers: Algorithms , Precision, and Complexity, 2006. ,
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. ,
The MPFR library: algorithms and proofs ,