A new computer-assisted verification method for invariant densities and decay rates of correlations is proposed. This new method is based on the Hilbert cone technique.
- Algorithms with automatic result verification
- Approximation of invariant measure
- Decay of correlations
- Dynamical systems
ASJC Scopus subject areas
- Modelling and Simulation