, New scalar and vector elementary functions for the IBM system/370. IBM and Development, vol.30, pp.126-144, 1986.
, American National Standards Institute and Institute of Electrical and Electronic Engineers. IEEE standard for binary floating-point arithmetic. ANSI/IEEE Standard, pp.754-1985, 1985.
An implementation guide to a proposed standard for floating-point arithmetic, Computer, 1980. ,
Feasibility of "perfect" function evaluation, SIGNUM Newsletter, vol.25, issue.4, pp.25-26, 1990. ,
An accurate elementary mathematical library for the IEEE floating point standard, ACM Transactions on Mathematical Software, vol.17, issue.1, pp.26-45, 1991. ,
What every computer scientist should know about floating-point arithmetic, ACM Computing Surveys, vol.23, issue.1, pp.5-47, 1991. ,
Minimizing q*m-n, 1983. ,
Developments in Reliable Computing, chapter An Algorithm That Computes a Lower Bound on the Distance Between a Segment and, pp.203-212 ,
, , 1999.
Moyens Arithmétiques Pour un Calcul Fiable, 2000. ,
Towards correctly rounded transcendentals, Proceedings of the 13th IEEE Symposium on Computer Arithmetic, 1997. ,
Toward correctly rounded transcendentals, IEEE Transactions on Computers, vol.47, issue.11, pp.1235-1243, 1998. ,
Elementary Functions, Algorithms and Implementation, 1997. ,
URL : https://hal.archives-ouvertes.fr/ensl-00000008
Exact rounding of certain elementary functions, Proceedings of the 11th IEEE Symposium on Computer Arithmetic, pp.138-145, 1993. ,
Hardware designs for exactly rounded elementary functions, IEEE Transactions on Computers, vol.43, issue.8, pp.964-973, 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. ,
, Campus scientifique, 615 rue du Jardin Botanique, vol.101, 2004.