TY  - RPRT
TI  - On representations of real numbers and the computational complexity of converting between such representations
AU  - Amir M. Ben-Amram
AU  - Lars Kristiansen
AU  - Jakob Grue Simonsen
PY  - 2023
UR  - https://arxiv.org/abs/2304.07227
ID  - 2304.07227
ER  -