swMATH28532MaRDI QIDQ40246FDOQ40246
Author name not available (Why is that?)
Official website: https://www.isa-afp.org/entries/Ergodic_Theory.html
Cited In (18)
- Fishers_Inequality
- Roth_Arithmetic_Progressions
- Growth of normalizing sequences in limit theorems for conservative maps
- The flow of ODEs: formalization of variational equation and Poincaré map
- Verified analysis of random binary tree structures
- Verified analysis of random binary tree structures
- Amortized Complexity
- Density Compiler
- Lp spaces
- QuickSort Cost
- Random BSTs
- Root Balanced Tree
- Girth-Chromatic
- Treaps
- Monad normalisation
- Probabilistic_Prime_Tests
- Markov chains and Markov decision processes in Isabelle/HOL
- Subadditive and multiplicative ergodic theorems
This page was built for software: Ergodic theory
