Roger A. Golliver

Roger A. Golliver: M. A. Cornea-Hasegan, R. A. Golliver, P. Markstein, "Correctness Proofs Outline for Newton-Raphson Based Floating-Point Divide and Square Root Algorithms", Proceedings of the 14^th IEEE Symposium on Computer Arithmetic, Adelaide, Australia, April 14-16, 1999