Mechanical Verification of a Square Root Algorithm Using Taylor's Theorem.

Jun Sawada, Ruben Gamboa

Browse the full FMCAD paper archive.