On computable sequences

Cited in

(28)

Approximation to measurable functions and its relation to probabilistic computation
On the continued fraction representation of computable real numbers
Representations of the real numbers and of the open subsets of the set of real numbers
The wave equation with computable initial data such that its unique solution is not computable
Computational complexity of real functions
In memory of Andrzej Mostowski
Relatively recursive reals and real functions
Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I
The binary expansion and the intermediate value theorem in constructive reverse mathematics
Using PVS to validate the algorithms of an exact arithmetic.
Recursion and topology on \(2^{\leq\omega}\) for possibly infinite computations
Liouville numbers and the computational complexity of changing bases
On the complexity of conversion between classic real number representations
Dedekind cuts and long strings of zeros in base expansions
Computable irrational numbers with representations of surprising complexity
On the definitions of some complexity classes of real numbers
On the complexity of computable real sequences
Primitive recursiveness of real numbers under different representations
Über die Bestimmbarkeit des Verhaltens von Algorithmen
Semi-effective numberings and definitions of the computable numbers
A comparison of identification criteria for inductive inference of recursive real-valued functions
Computer Science for Continuous Data
Interplay between insertion of zeros and the complexity of Dedekind cuts
Theoretical computer science: computability, decidability and logic
On representations of irrational numbers and the computational complexity of converting between such representations
A degree structure on representations of irrational numbers
Reducibilities on real numbers
Représentations des nombres réels par développements en base entière et complexité. (Representations of real numbers by expansions on integer basis and complexity)

This page was built for publication: On computable sequences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3244108)