A Two-Layer Approach to the Computability and Complexity of Real Numbers
AbstractWe present a new approach to computability of real numbers in which real functions have type-1 representations, which also includes the ability to reason about the complexity of real numbers and functions. We discuss how this allows efficient implementations of exact real numbers and also present a new real number system that is based on it.
How to Cite
Lambov, B. (2003). A Two-Layer Approach to the Computability and Complexity of Real Numbers. BRICS Report Series, 10(50). https://doi.org/10.7146/brics.v10i50.21822
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.