TY - RPRT TI - A rigorous version of R. P. Brent's model for the binary Euclidean algorithm AU - Ian D. Morris PY - 2014 UR - https://arxiv.org/abs/1409.0729 ID - 1409.0729 ER -