Extracting analytic proofs from numerically solved Shannon-type Inequalities.

Ido B. Gattegno Haim H. Permuter

Published in: CoRR (2017)

Keyphrases

sufficient conditions
information theory
theorem proving
linear inequalities
equational theories
real world
decision trees
case study
search algorithm
evolutionary algorithm
special case
mutual information