Rounding Error Analysis for Division," Technical Report, Advanced Micro Devices (1995)

by T Lynch, A Ahmed, M Schulte
Venue:Correctness of the AMDK 86 Floating Point Division Algorithm 35