Proving the IEEE Correctness of Iterative Floating-Point Square Root, Divide, and Remainder Algorithms

by Marius Cornea-Hasegan
Citations:19 - 2 self