,
, Standard 754-1985 for binary floating-point arithmetic (also IEC 60559), 1985.
Coq'Art: the Calculus of Inductive Constructions. Texts in Theoretical Computer Science, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-00344237
Scientific Computing on Itanium-based Systems, 2002. ,
Generating formally certified bounds on values and round-off errors, 6th Conference on Real Numbers and Computers, pp.55-70, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-02102116
Cache-optimised methods for the evaluation of elementary functions, 2002. ,
URL : https://hal.archives-ouvertes.fr/hal-02102051
Software carry-save: A case study for instruction-level parallelism, Seventh International Conference on Parallel Computing Technologies, 2003. ,
Fast correct rounding of elementary functions in double precision using double-extended arithmetic, 2004. ,
URL : https://hal.archives-ouvertes.fr/inria-00071446
Towards the post-ultimate libm, 17th Symposium on Computer Arithmetic, 2005. ,
URL : https://hal.archives-ouvertes.fr/inria-00070636
A proven correctly rounded logarithm in doubleprecision, RNC6, Real Numbers and Computers, 2004. ,
Collapsing dependent floating point operations, 2004. ,
Software carry-save for fast multiple-precision algorithms, 35th International Congress of Mathematical Software, 2002. ,
URL : https://hal.archives-ouvertes.fr/hal-02102038
Correctly rounded exponential function in double precision arithmetic, Advanced Signal Processing Algorithms, Architectures, and Implementations X (SPIE'2000), 2001. ,
URL : https://hal.archives-ouvertes.fr/inria-00072387
A floating point technique for extending the available precision, Numerische Mathematik, vol.18, issue.3, pp.224-242, 1971. ,
High bandwidth evaluation of elementary functions, Proceedings of the 5th IEEE Symposium on Computer Arithmetic. IEEE, 1981. ,
Computing elementary functions: A new approach for achieving high accuracy and good performance, Accurate Scientific Computations, vol.235, pp.1-16, 1986. ,
What every computer scientist should know about floating-point arithmetic, ACM Computing Surveys, vol.23, issue.1, pp.5-47, 1991. ,
FI LIB, eine schnelle und portable Funktionsbibliothek für reelle Argumente und reelle Intervalle im IEEE-double-Format, 1998. ,
International Standard ISO/IEC 9899:1999(E), 1999. ,
C-XSC a C++ class library for extended scientific computing, 1993. ,
Moyens arithmétiques pour un calcul fiable, 2000. ,
Worst cases for correct rounding of the elementary functions in double precision, 2004. ,
Towards correctly rounded transcendentals, IEEE Transactions on Computers, vol.47, issue.11, pp.1235-1243, 1998. ,
,
IA-64 and Elementary Functions: Speed and Precision. Hewlett-Packard Professional Books, p.130183482, 2000. ,
Interval analysis, 1966. ,
Elementary Functions, Algorithms and Implementation, 1997. ,
URL : https://hal.archives-ouvertes.fr/ensl-00000008
Table lookup algorithms for elementary functions and their error analysis, Proceedings of the 10th IEEE Symposium on Computer Arithmetic, pp.232-236, 1991. ,
Fast hardware-based algorithms for elementary function computations using rectangular multipliers, IEEE Transactions on Computers, vol.43, issue.3, pp.278-294, 1994. ,
Fast evaluation of elementary mathematical functions with correctly rounded last bit, ACM Transactions on Mathematical Software, vol.17, issue.3, pp.410-423, 1991. ,
, Unité de recherche INRIA Rhône-Alpes 655, avenue de l'Europe -38334 Montbonnot
, Parc Club Orsay Université -ZAC des Vignes 4, rue Jacques Monod -91893 ORSAY Cedex
LORIA, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 ,