Correctness Proofs Outline for Newton-Raphson Based Floating-Point Divide and Square Root Algorithms.
Marius A. Cornea-Hasegan, Roger A. Golliver, Peter W. Markstein
VenueCARITH
Year1999
ProceedingsIEEE Symposium on Computer Arithmetic
DBLP recordconf/arith/Cornea-HaseganGM99 ↗
Browse the full ARITH paper archive.