Mathieu Hoyrup

Computability of probability measures and Martin-Löf randomness over metric spaces

Mathieu Hoyrup, Cristóbal Rojas · Information and Computation · 2009 · 125 citations

Measure Theory, Engineering, Entropy +7

Effective symbolic dynamics, random points, statistical behavior, complexity and entropy

Stefano Galatolo, Mathieu Hoyrup, Cristóbal Rojas · Information and Computation · 2009 · 58 citations · Full text

Computational Complexity Theory, Engineering, Entropy +8

Randomness on Computable Probability Spaces—A Dynamical Point of View

Péter Gács, Mathieu Hoyrup, Cristóbal Rojas · Theory of Computing Systems · 2010 · 51 citations · Full text

Engineering, Entropy, Stochastic Processes +6

Algorithmic tests and randomness with respect to a class of measures

Laurent Bienvenu, Péter Gács, Mathieu Hoyrup et al. · Proceedings of the Steklov Institute of Mathematics · 2011 · 48 citations · Full text

A constructive version of Birkhoffʼs ergodic theorem for Martin-Löf random points

Laurent Bienvenu, Adam R. Day, Mathieu Hoyrup et al. · Information and Computation · 2011 · 41 citations · Full text

Integrable Probability, Probability Theory, Stochastic Geometry +5