On the equality condition for the I-MMSE proof of the entropy power inequality.

Alex Dytso Ronit Bustin H. Vincent Poor Shlomo Shamai Shitz

Published in: Allerton (2017)

Keyphrases

power consumption
mutual information
multipath
sufficient conditions
information theoretic
information theory
theorem prover
relational databases
theorem proving
information entropy
linear logic
minimum mean square error