A Probabilistic Proof of a Recursion Formula for Sums of Powers.
Xibao HuYumin ZhongPublished in: Am. Math. Mon. (2020)
Keyphrases
- random variables
- bayesian networks
- conditional probabilities
- cost based abduction
- probabilistic model
- probabilistic reasoning
- theorem prover
- generative model
- context sensitive
- databases
- linear logic
- transitive closure
- uncertain data
- information theoretic
- data driven
- real time
- complex objects
- deductive databases
- theorem proving
- information systems
- genetic algorithm
- probabilistic logic
- data mining