Login / Signup
Correctness Proofs Outline for Newton-Raphson Based Floating-Point Divide and Square Root Algorithms.
Marius A. Cornea-Hasegan
Roger A. Golliver
Peter W. Markstein
Published in:
IEEE Symposium on Computer Arithmetic (1999)
Keyphrases
</>
square root
floating point
floating point arithmetic
newton raphson
fixed point
kalman filtering
arrival rate
instruction set