Digit Serial Methods with Applications to Division and Square Root (with mechanically checked correctness proofs)

Warren E. Ferguson, Jesse Bingham, Levent Erkök +2

We present a generic digit serial method (DSM) to compute the digits of a real number $V$ . Bounds on these digits, and on the errors in the associated estimates of $V$ formed from…