All Dates/Times are Australian Eastern Standard Time (AEST)

Technical Program

Paper Detail

Paper IDD6-S5-T1.3
Paper Title An Automated Theorem Proving Framework for Information-Theoretic Results
Authors Cheuk Ting Li, The Chinese University of Hong Kong, Hong Kong SAR of China
Session D6-S5-T1: Information Inequalities
Chaired Session: Monday, 19 July, 23:20 - 23:40
Engagement Session: Monday, 19 July, 23:40 - 00:00