1 citations · 1 across the 3 of their papers we have counts for
3 papers
math.DS2008
Effective symbolic dynamics, random points, statistical behavior, complexity and entropy
Stefano Galatolo, Mathieu Hoyrup, Cristobal Rojas
We consider the dynamical behavior of Martin-Löf random points in dynamical systems over metric spaces with a computable dynamics and a computable invariant measure. We use computa…
math.CA2007
A constructive Borel-Cantelli Lemma. Constructing orbits with required statistical properties
Stefano Galatolo, Mathieu Hoyrup, Cristobal Rojas
In the general context of computable metric spaces and computable measures we prove a kind of constructive Borel-Cantelli lemma: given a sequence (constructive in some way) of sets…
cs.IT2007★ 1 cited
Computability of probability measures and Martin-Lof randomness over metric spaces
Mathieu Hoyrup, Cristobal Rojas
In this paper we investigate algorithmic randomness on more general spaces than the Cantor space, namely computable metric spaces. To do this, we first develop a unified framework…