Rigorous approximation of diffusion coefficients for expanding maps
  We use Ulam's method to provide rigorous approximation of diffusion coefficients for uniformly expanding maps. An algorithm is provided and its implementation is illustrated using Lanford's map. 
Wael Bahsoun, Stefano Galatolo, Isaia Nisoli, Xiaolong Niu
math.DS