G. Laurent-fousse, V. Hanrot, P. Lefèvre, P. Pélissier, and . Zimmermann, MPFR: A multiple-precision binary floating-point library with correct rounding, ACM Trans. Math. Softw, vol.33, 2007.

[. Molin, Intégration numérique par la méthode double-exponentielle