Rigorous approximation of diffusion coefficients for expanding maps

The use of computers is essential for predicting and understanding the behaviour of many physical systems. Sensitive dependence on initial conditions is typical in many physical systems. This sensitivity problem raises nontrivial reliability and stability issues regarding any computational approach to such systems. Moreover, it strongly motivates the study of reliable computational methods for understanding statistical properties of physical systems.