Scalable Automated Proving of Information Theoretic Inequalities with Proximal Algorithms.

Lin Ling, Chee-Wei Tan, Siu-Wai Ho, Raymond W. Yeung

Browse the full ISIT paper archive.