arXiv Analytics

Sign in

arXiv:2304.07227 [math.LO]AbstractReferencesReviewsResources

On representations of real numbers and the computational complexity of converting between such representations

Amir M. Ben-Amram, Lars Kristiansen, Jakob Grue Simonsen

Published 2023-04-14Version 1

We study the computational complexity of converting one representation of real numbers into another representation. Typical examples of representations are Cauchy sequences, base-10 expansions, Dedekind cuts and continued fractions.

Categories: math.LO, cs.CC
Subjects: 03D78
Related articles: Most relevant | Search more
arXiv:1910.05834 [math.LO] (Published 2019-10-13)
On $\aleph_ω$ being Jónsson
arXiv:1808.00906 [math.LO] (Published 2018-07-28)
Axioms for the Real Numbers: A Constructive Approach
arXiv:2206.12721 [math.LO] (Published 2022-06-25)
On the computational properties of the uncountability of the real numbers

Links

Toolbox