@misc{indiciae0e78d813879b,
  title = {Digit Serial Methods with Applications to Division and Square Root (with mechanically checked correctness proofs)},
  author = {Warren E. Ferguson Jr and Jesse Bingham and Levent Erkök and John R. Harrison and Joe Leslie-Hurd},
  year = {2017},
  url = {https://arxiv.org/abs/1708.00140},
  note = {Source identifier: 1708.00140}
}