Lin Ling, Chee-Wei Tan 0001, Siu-Wai Ho, Raymond W. Yeung. Scalable Automated Proving of Information Theoretic Inequalities with Proximal Algorithms. In IEEE International Symposium on Information Theory, ISIT 2019, Paris, France, July 7-12, 2019. pages 1382-1386, IEEE, 2019. [doi]
Abstract is missing.