TY - RPRT TI - On the binary digits of $\sqrt{2}$ AU - Joseph Vandehey PY - 2017 UR - https://arxiv.org/abs/1711.01722 ID - 1711.01722 ER -