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

by Marius Cornea-Hasegan
Citations:20 - 2 self