TY - RPRT TI - Computing $\sqrt{2}$ with FRACTRAN AU - Khushi Kaushik AU - Tommy Murphy AU - David Weed PY - 2024 UR - https://arxiv.org/abs/2412.16185 ID - 2412.16185 ER -