, CRLibm, a library of correctly rounded elementary functions in double-precision

G. Alefeld and D. Claudio, The basic properties of interval arithmetic, its software realizations and some applications, Computers and Structures, vol.67, pp.3-8, 1998.

. Ansi/ieee, Standard 754-1985 for binary floating-point arithmetic, 1985.

R. P. Brent, Algorithms for minimization without derivatives, 1973.

M. Daumas, G. Melquiond, and C. Muñoz, Guaranteed proofs using interval arithmetic, Proceedings of the 17th IEEE Symposium on Computer Arithmetic, pp.188-195, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00164621

F. De-dinechin, A. Ershov, and N. Gast, Towards the post-ultimate libm, 17th IEEE Symposium on Computer Arithmetic, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00070636

F. De-dinechin, C. Q. Lauter, and G. Melquiond, Assisted verification of elementary functions using Gappa, Proceedings of the 21st Annual ACM Symposium on Applied Computing -MCMS Track, vol.2, pp.1318-1322, 2006.

A. Griewank, Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation, 2000.

J. Harrison, Floating point verification in HOL light: the exponential function, 1997.

N. J. Higham, Accuracy and Stability of Numerical Algorithms, Society for Industrial and Applied Mathematics, 2002.

W. Hofschuster and W. Krämer, FI LIB, eine schnelle und portable Funktionsbibliothek für reelle Argumente und reelle Intervalle im IEEE-double-Format, 1998.

W. Krämer, Sichere und genaue Abschätzung des Approximationsfehlers bei rationalen Approximationen, 1996.

P. Markstein, IA-64 and Elementary Functions : Speed and Precision. Hewlett-Packard Professional Books, p.130183482, 2000.

J. Muller, Elementary Functions, Algorithms and Implementation, 1997.
URL : https://hal.archives-ouvertes.fr/ensl-00000008

M. Neher, ACETAF: A software package for computing validated bounds for Taylor coefficients of analytic functions, ACM Transactions on Mathematical Software, 2003.

A. Neumaier, Interval Methods for Systems of Equations, 1990.