Page 14 of 15

REFERENCES

[1]	ANSI/IEEE Std 754-1985, IEEE Standard for Binary Floating-Point Arithmetic, IEEE, New York, 1985.
[2]	IA-64 Application Developer's Architecture Guide, Intel Corporation, 1999.
[3]	Cornea-Hasegan, M., "Proving IEEE Correctness of Iterative Floating-Point Square Root, Divide, and Remainder Algorithms," Intel Technology Journal, Q2, 1998 at http://developer.intel.com/technology/itj/q21998.htm
[4]	Cornea-Hasegan, M. and Golliver, R., "Correctness Proofs Outline for Newton-Raphson Based Floating-Point Divide and Square Root Algorithms," Proceedings of the 14th IEEE Symposium on Computer Arithmetic, 1999, IEEE Computer Society, Los Alamitos, CA, pp. 96-105.
[5]	Intel Architecture Software Developer's Manual, Intel Corporation, 1997.