Verification of the decimal floating-point square root operation.

Amr A. R. Sayed-Ahmed, Hossam A. H. Fahmy, Ulrich Khne

Browse the full ETS paper archive.