55 citations · 133 across the 13 of their papers we have counts for
1 paper · 1 filter
Vasco Brattka, Joseph S. Miller, André Nies
We characterize some major algorithmic randomness notions via differentiability of effective functions. (1) As the main result we show that a real number z in [0,1] is computably r…