A dropping proof of an entropy inequality.

Masahiro Yanagida Yasuichi Horibe

Published in: Appl. Math. Lett. (2008)

Keyphrases

information theory
mutual information
linear logic
information theoretic
data mining
theorem prover
geometry theorem proving
minimum error
conditional entropy
entropy measure
automated theorem proving
bit rate
mobile robot
multiscale
computer vision
genetic algorithm
information retrieval