Computer-Assisted Verification Method for Invariant Densities and Rates of Decay of Correlations

Ippei Obayashi. Computer-Assisted Verification Method for Invariant Densities and Rates of Decay of Correlations. SIAM J. Applied Dynamical Systems, 10(2):788-816, 2011. [doi]

Abstract

Abstract is missing.