A Mechanically Checked (1996)

by J S Moore, T Lynch, M Kaufmann
Venue:Proof of the Correctness of the AMD5K86 Floating Point Division Algorithm. Submitted