A proof of the Shepp-Olkin entropy concavity conjecture.
Erwan HillionOliver JohnsonPublished in: CoRR (2015)
Keyphrases
- information theory
- mutual information
- information theoretic
- theorem prover
- theorem proving
- three dimensional
- information entropy
- data structure
- shannon entropy
- entropy measure
- linear logic
- complete axiomatization
- artificial intelligence
- entropy minimization
- relative entropy
- convex hull
- hidden markov models
- bayesian networks
- image processing