Login / Signup
A proof of the Shepp-Olkin entropy monotonicity conjecture.
Erwan Hillion
Oliver Johnson
Published in:
CoRR (2018)
Keyphrases
</>
information theory
information theoretic
information entropy
mutual information
theorem prover
computer vision
proof planning
databases
belief revision
search algorithm
similarity measure
theorem proving
database systems
relative entropy
linear logic
entropy measure
monotonicity property