|
A Two-Layer Approach to the Computability and Complexity of Real
Numbers
Branimir Lambov December 2003 |
Abstract:
We 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.
Available as PostScript, PDF, DVI. |