Mathematics
Logic
Scientist
INRIA Lorraine - LORIA
LORIA, Vandoeuvre-l es-Nancy, France
A constructive Borel-Cantelli Lemma. Constructing orbits with required statistical properties
A constructive version of Birkhoff's ergodic theorem for Martin-Löf random points
Algorithmic tests and randomness with respect to a class of measures
Computability of probability measures and Martin-Lof randomness over metric spaces
Computability of the Radon-Nikodym derivative
No associations
LandOfFree
Mathieu Hoyrup does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Mathieu Hoyrup, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Mathieu Hoyrup will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-132185