Day, Adam
- A constructive version of Birkhoff's ergodic theorem for Martin-Löf random points
2010/07/29 by Laurent Bienvenu, Bienvenu, Laurent, Adam Day +7 · 2 citations
Computer Science · Mathematics · #28D05 #68Q30 #Dynamical Systems (math.DS) #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Probability (math.PR) #acm:28D05 #acm:68Q30 #cs.LO #math.DS #math.PR #msc:28D05 #msc:68Q30