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. ,
Measuring the Accuracy of ROM Reciprocal Tables, IEEE Transactions on Computers, vol.43, issue.8, 1994. ,
, Faithful Bipartite ROM Reciprocal Tables. Proceedings of the 12th IEEE Symposium on Computer Arithmetic, pp.17-28, 1995.
Division and Square Root: Digit-Recurrence Algorithms and Implementations, 1994. ,
On division by functional iteration, IEEE Transactions on Computers, C, vol.19, issue.8, pp.702-706, 1970. ,
Goldschmidt Applications of division by convergence. M.Sc. Dissertation Massachusetts Institute of Technology, 1964. ,
Implementing division and other floating-point operations: A system perspective, Scientific Computing and Validated Numerics (Proceedings of SCAN'95), pp.18-24 ,
, , 1996.
, American National Standards Institute and Institute of Electrical and Electronic Engineers. IEEE standard for binary floating-point arithmetic. ANSI/IEEE Standard, 1985.
On Infinitely Precise Rounding for Division, Square Root, Reciprocal and Square Root Reciprocal, Proceedings of the 14th IEEE Symposium on Computer Arithmetic, pp.233-240, 1999. ,
Some properties of iterative square-rooting methods using high-speed multiplication, IEEE Transactions on Computers, C, vol.21, pp.837-847, 1972. ,
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. ,
Generating a Power of an Operand by a Table Look-up and a Multiplication, Proceedings of the 13th IEEE Symposium on Computer Arithmetic, pp.126-131, 1997. ,
Floating Point Division and Square Root Algorithms and Implementation in the AMD-K7 Microprocessor, Proceedings of the 14th IEEE Symposium on Computer Arithmetic, pp.106-115, 1999. ,
Number-theoretic Test Generation for Directed Roundings, Proceedings of the 14th IEEE Symposium on Computer Arithmetic, pp.241-248, 1999. ,
INRIA Unité de recherche INRIA Lorraine, Proceedings of the 14th IEEE Symposium on Computer Arithmetic, vol.101, pp.124-131, 1999. ,