Login / Signup
A category-theoretic proof of the ergodic decomposition theorem.
Sean K. Moss
Paolo Perrone
Published in:
CoRR (2022)
Keyphrases
</>
interactive theorem proving
theorem prover
markov chain
decomposition method
hierarchical decomposition
object categories
data mining
machine learning
decision trees
relational databases
linear logic