Computer Arithmetic, IEEE Symposium on
Correctness Proofs Outline for Newton-Raphson Based Floating-Point Divide and Square Root Algorithms
DOI Bookmark: 10.1109/ARITH.1999.762834
Authors
Marius A. Cornea-Hasegan, Intel CorporationRoger A. Golliver, Intel Corporation
Peter Markstein, Hewlett-Packard