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
Multiplications of floating point expansions, Proceedings 14th IEEE Symposium on Computer Arithmetic (Cat. No.99CB36336), pp.250-257, 1999. ,
DOI : 10.1109/ARITH.1999.762851
A floating-point technique for extending the available precision, Numerische Mathematik, vol.5, issue.3, pp.224-242, 1971. ,
DOI : 10.1007/BF01397083
More on algorithms that reveal properties of floating point arithmetic units, Communications of the ACM, vol.17, issue.5, pp.276-277, 1974. ,
DOI : 10.1145/360980.361003
What can you learn about floating-point arithmetic in one hour? file cs267fp.ps. Version PostScript accessible électroniquement à http, 1996. ,
Toward correctly rounded transcendentals, IEEE Transactions on Computers, issue.11, p.47, 1998. ,
Elementary Functions, Algorithms and Implementation, 1997. ,
URL : https://hal.archives-ouvertes.fr/ensl-00000008
Floating point division and square root algorithms and implementation in the AMD-K7/sup TM/ microprocessor, Proceedings 14th IEEE Symposium on Computer Arithmetic (Cat. No.99CB36336), pp.106-115, 1999. ,
DOI : 10.1109/ARITH.1999.762835
Algorithms for arbitrary precision floating point arithmetic, [1991] Proceedings 10th IEEE Symposium on Computer Arithmetic, pp.132-144, 1991. ,
DOI : 10.1109/ARITH.1991.145549
Robust adaptive floating-point geometric predicates, Proceedings of the twelfth annual symposium on Computational geometry , SCG '96, pp.141-150, 1996. ,
DOI : 10.1145/237218.237337
Campus scientifique, 615 rue du Jardin Botanique Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, p.78153, 2004. ,