A formalisation of Gallagher's ergodic theorem.

Published in: CoRR (2023)

Keyphrases

markov chain
formal analysis
von neumann
neural network
stationary distribution
e learning
data structure
object recognition
recommender systems
sufficient conditions