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
Scientific Computing on Itanium-Based Systems, 2002. ,
Proving the IEEE correctness of iterative floating-point square root, divide, and remainder algorithms, Intel Technology Journal, p.11, 1998. ,
Applications of division by convergence Master's thesis, 1964. ,
Formal Verification of IA-64 Division Algorithms, Theorem Proving in Higher Order Logics: 13th International Conference, pp.234-251, 2000. ,
DOI : 10.1007/3-540-44659-1_15
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
IA-64 and elementary functions: speed and precision. Hewlett-Packard professional books, 2000. ,
Handbook of Floating-Point Arithmetic, Birkhäuser Boston, 2010. ,
DOI : 10.1007/978-0-8176-4705-6
URL : https://hal.archives-ouvertes.fr/ensl-00379167
Accurate Floating-Point Summation Part I: Faithful Rounding, SIAM Journal on Scientific Computing, vol.31, issue.1, pp.189-224, 2008. ,
DOI : 10.1137/050645671
A decimal floating-point divider using Newton-Raphson iteration, J. VLSI Signal Process. Syst, vol.49, issue.1, pp.3-18, 2007. ,