36 search results - page 1 / 8 » Hierarchy of Monotonically Computable Real Numbers |
MFCS
2001
Springer
13 years 9 months ago
2001
Springer
DMTCS
2003
13 years 6 months ago
2003
Let h : N → Q be a computable function. A real number x is h-monotonically computable (h-mc, for short) if there is a computable sequence (xs) of rational numbers which converges...
FOCS
2009
IEEE
13 years 11 months ago
2009
IEEE
MST
2008
13 years 5 months ago
2008
This paper studies coinductive representations of real numbers by signed digit streams and fast Cauchy sequences. It is shown how the associated coinductive principle can be used ...
ICALP
2004
Springer
13 years 10 months ago
2004
Springer
Abstract We present an analog and machine-independent algebraic characterization of elementarily computable functions over the real numbers in the sense of recursive analysis: we p...