Probabilistic Proofs of a Binomial Identity, Its Inverse, and Generalizations.

Michael Z. Spivey

Published in: Am. Math. Mon. (2016)

Keyphrases

bayesian networks
search algorithm
generative model
real time
neural network
real world
high dimensional
probability distribution
posterior probability
belief networks
theorem proving
probabilistic logic
decision procedures
formal proofs