References

[Double-Double Building Blocks]
M. Joldes, V. Popescu, and J.M. Muller.
Tight and rigourous error bounds for basic building blocks of double-word arithmetic
2016, working paper.

https://hal.archives-ouvertes.fr/hal-01351529v2/document

[Triple-Double Building Blocks]
Christoph Quirin Lauter.
Basic building blocks for a triple-double intermediate format
2005, research report.

https://hal.inria.fr/inria-00070314/document

[Multiple Precision]
V. Popescu.
Towards fast and certified multiple-precision librairies.
2017, thesis.

https://hal.archives-ouvertes.fr/tel-01534090/document

[mpfun]
A Thread-Safe Arbitrary Precision Computation Package
David H. Bailey ∗
March 20, 2017

http://www.davidhbailey.com/dhbpapers/mpfun2015.pdf http://www.davidhbailey.com/dhbsoftware/mpfun-fort-v15.tar.gz http://www.davidhbailey.com/dhbsoftware/mpfun-mpfr-v07.tar.gz

[Faithful Floats]
M. Lange and S.M. Rump.
Faithfully Rounded Floating-point Computations
2017, preprint.

http://www.ti3.tu-harburg.de/paper/rump/LaRu2017b.pdf

Nelson H.F. Beebe
The Mathematical-Function Computation Handbook
Springer, 2017, book
J.-M. Muller, N. Brisebarre, F. de Dinechin, C.-P. Jeannerod, V. Lefevre,
    G. Melquiond, N. Revol, D. Stehle, and S. Torres.
Handbook of Floating-Point Arithmetic
Birkhauser Boston, 2010, book