Searching for "Computing with Real Numbers." – sorted by Relevance.
-
Monotonically computable real numbers
- -monotonically computable real numbers Xizhong Zheng ∗1,2 , Robert Rettinger ∗∗3 , and George Barmpalias ∗∗∗4 1 Theoretische
- Cited by 7 (5 self) – Add To MetaCart
-
On the Turing degrees of weakly computable real numbers
- On the Turing Degrees of Weakly Computable Real Numbers Xizhong Zheng Theoretische Informatik BTU
- Cited by 6 (3 self) – Add To MetaCart
-
A New Approach to Computability on Real Numbers
- is an elementary proper extension of standard real numbers). The class of majorant--computable functions in our
- Add To MetaCart
-
A note on the Turing degree of divergence bounded computable real numbers
- bounded computable real numbers. This extends the result of [2] that not every ∆0 2-Turing degree contains
- Cited by 2 (1 self) – Add To MetaCart
-
Computing with Real Numbers - I. The LFT Approach to Real Number Computation - II. A Domain
- Computing with Real Numbers I. The LFT Approach to Real Number Computation II. A Domain Framework
- Cited by 9 (0 self) – Add To MetaCart
-
On Termination of Programs with Real Numbers Computations
- On termination of programs with real numbers computations Alexander Serebrenik Danny De Schreye
- Add To MetaCart
-
Semantic Characterisations of Second-order Computability Over the Real Numbers
- Semantic Characterisations of Second-order Computability Over the Real Numbers ? M. V. Korovina 1
- Cited by 2 (2 self) – Add To MetaCart
-
A coinductive approach to exact real number computation
- coinductive approach to exact real number computation Ulrich Berger Swansea 1 / 45The aims of this talk
- Add To MetaCart
-
Computable Real Functions: Type 1 Computability Versus Type 2 Computability
- machine model there are essentially two different notions of computable functions over the real numbers
- Add To MetaCart
-
The Topological Entropy of Iterated Piecewise Affine Maps is Uncomputable
- ask whether the topological entropy of a piecewise affine function is always a computable real number
- Cited by 2 (0 self) – Add To MetaCart

