Semantics for exact floating point operations, [1991] Proceedings 10th IEEE Symposium on Computer Arithmetic, pp.22-26, 1991. ,
DOI : 10.1109/ARITH.1991.145529
Representable correcting terms for possibly underflowing floating point operations, 16th IEEE Symposium on Computer Arithmetic, 2003. Proceedings., pp.79-86, 2003. ,
DOI : 10.1109/ARITH.2003.1207663
Accelerating correctly rounded floating-point division when the divisor is known in advance, IEEE Transactions on Computers, vol.53, issue.8, pp.1069-1072, 2004. ,
DOI : 10.1109/TC.2004.37
Algorithm 722; Functions to support the IEEE standard for binary floating-point arithmetic, ACM Transactions on Mathematical Software, vol.19, issue.4, pp.443-451, 1993. ,
DOI : 10.1145/168173.168185
A Proposed Radix- and Word-length-independent Standard for Floating-point Arithmetic, IEEE Micro, vol.4, issue.4, pp.86-100, 1984. ,
DOI : 10.1109/MM.1984.291224
Correctness proofs outline for Newton-Raphson based floating-point divide and square root algorithms, Proceedings 14th IEEE Symposium on Computer Arithmetic (Cat. No.99CB36336), pp.96-105, 1999. ,
DOI : 10.1109/ARITH.1999.762834
A new range reduction algorithm, Conference Record of Thirty-Fifth Asilomar Conference on Signals, Systems and Computers (Cat.No.01CH37256), 2001. ,
DOI : 10.1109/ACSSC.2001.987766
URL : https://hal.archives-ouvertes.fr/ensl-00086904
A floating-point technique for extending the available precision, Numerische Mathematik, vol.5, issue.3, pp.224-242, 1971. ,
DOI : 10.1007/BF01397083
What every computer scientist should know about floating-point arithmetic, ACM Computing Surveys, vol.23, issue.1, pp.5-47, 1991. ,
DOI : 10.1145/103162.103163
A Machine-Checked Theory of Floating Point Arithmetic, Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, pp.113-130, 1999. ,
DOI : 10.1007/3-540-48256-3_9
High-precision division and square root, ACM Transactions on Mathematical Software, vol.23, issue.4, pp.561-589, 1997. ,
DOI : 10.1145/279232.279237
The Art of Computer Programming, 1998. ,
Theorems on efficient argument reductions, 16th IEEE Symposium on Computer Arithmetic, 2003. Proceedings., pp.129-136, 2003. ,
DOI : 10.1109/ARITH.2003.1207670
URL : https://hal.archives-ouvertes.fr/hal-00156244
IA-64 and Elementary Functions : Speed and Precision. Hewlett-Packard Professional Books, 2000. ,
Computation of elementary functions on the IBM RISC System/6000 processor, IBM Journal of Research and Development, vol.34, issue.1, pp.111-119, 1990. ,
DOI : 10.1147/rd.341.0111
Floating point computation, 1974. ,