Login / Signup
Transportation Proofs of Rényi Entropy Power Inequalities.
Olivier Rioul
Published in:
CoRR (2019)
Keyphrases
</>
shannon entropy
power consumption
mutual information
information theory
information theoretic
theorem prover
transportation networks
transportation systems
theorem proving
equational theories
genetic algorithm
decision making
decision procedures
linear inequalities
formal proof