Computer-Assisted Verification Method for Invariant Densities and Rates of Decay of Correlations (Q3088153)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computer-Assisted Verification Method for Invariant Densities and Rates of Decay of Correlations |
scientific article |
Statements
Computer-Assisted Verification Method for Invariant Densities and Rates of Decay of Correlations (English)
0 references
18 August 2011
0 references
dynamical systems
0 references
ergodicity
0 references
decay of correlations
0 references
approximation of invariant measure
0 references
algorithms with automatic result verification
0 references
