, CRLibm, a library of correctly rounded elementary functions in double-precision
The basic properties of interval arithmetic, its software realizations and some applications, Computers and Structures, vol.67, pp.3-8, 1998. ,
Standard 754-1985 for binary floating-point arithmetic, 1985. ,
Algorithms for minimization without derivatives, 1973. ,
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
Towards the post-ultimate libm, 17th IEEE Symposium on Computer Arithmetic, 2005. ,
URL : https://hal.archives-ouvertes.fr/inria-00070636
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. ,
Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation, 2000. ,
Floating point verification in HOL light: the exponential function, 1997. ,
Accuracy and Stability of Numerical Algorithms, Society for Industrial and Applied Mathematics, 2002. ,
FI LIB, eine schnelle und portable Funktionsbibliothek für reelle Argumente und reelle Intervalle im IEEE-double-Format, 1998. ,
Sichere und genaue Abschätzung des Approximationsfehlers bei rationalen Approximationen, 1996. ,
IA-64 and Elementary Functions : Speed and Precision. Hewlett-Packard Professional Books, p.130183482, 2000. ,
Elementary Functions, Algorithms and Implementation, 1997. ,
URL : https://hal.archives-ouvertes.fr/ensl-00000008
ACETAF: A software package for computing validated bounds for Taylor coefficients of analytic functions, ACM Transactions on Mathematical Software, 2003. ,
Interval Methods for Systems of Equations, 1990. ,