Proving Information Inequalities and Identities with Symbolic Computation.

Laigang Guo, Raymond W. Yeung, Xiao-Shan Gao

Browse the full ISIT paper archive.