TY - RPRT TI - Real numbers as infinite decimals -- theory and computation AU - Nicolas Fardin AU - Liangpan Li PY - 2018 UR - https://arxiv.org/abs/1811.10420 ID - 1811.10420 ER -