S. Boldo and M. Daumas, Representable correcting terms for possibly underflowing floating point operations, 16th IEEE Symposium on Computer Arithmetic, 2003. Proceedings.
DOI : 10.1109/ARITH.2003.1207663

M. Cornea, R. A. Golliver, and P. Markstein, Correctness proofs outline for Newton?Raphson-based floating-point divide and square root algorithms, Proceedings of the 14th IEEE Symposium on Computer Arithmetic, pp.96-105, 1999.

J. Harrison, Formal Verification of IA-64 Division Algorithms, Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics, pp.234-251, 2000.
DOI : 10.1007/3-540-44659-1_15

P. Markstein, IA-64 and Elementary Functions: Speed and Precision. Hewlett-Packard Professional Books, 2000.

P. W. Markstein, 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

J. Muller, N. Brisebarre, C. Florent-de-dinechin, V. Jeannerod, G. Lefèvre et al., 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