17 search results - page 1 / 4 » On the Monotonic Computability of Semi-computable Real Numbe... |
DMTCS
2003
14 years 8 days 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...
MFCS
2001
Springer
14 years 3 months ago
2001
Springer
MST
2008
13 years 10 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 ...
STOC
2007
ACM
14 years 11 months ago
2007
ACM
Monotone systems of polynomial equations (MSPEs) are systems of fixed-point equations X1 = f1(X1, . . . , Xn), . . . , Xn = fn(X1, . . . , Xn) where each fi is a polynomial with p...
FOSSACS
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...