Reference · Finite types, distributions and Markov chains

rainbow.math.finite.markov-residual-mixture-bound

Finite types, distributions and Markov chainssrc/rainbow/math/finite/markov_residual_mixture_bound.clj0 definitions, 0 theorems

Markov-facing interface for the finite residual mixture inequality.

Depends onmath.rational.nnrat.weighted-sum-scaled-bound