TY  - RPRT
TI  - Digit Serial Methods with Applications to Division and Square Root (with mechanically checked correctness proofs)
AU  - Warren E. Ferguson Jr
AU  - Jesse Bingham
AU  - Levent Erkök
AU  - John R. Harrison
AU  - Joe Leslie-Hurd
PY  - 2017
UR  - https://arxiv.org/abs/1708.00140
ID  - 1708.00140
ER  -