Proving information inequalities and identities with symbolic computation

DOI10.1109/tit.2023.3263178zbMath1546.94033MaRDI QIDQ6574777

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

Publication date: 18 July 2024

Published in: IEEE Transactions on Information Theory (Search for Journal in Brave)

zbMATH Keywords

algorithmssymbolic computationShannon's information measureslinear information inequalities and identities

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Linear programming (90C05) Measures of information, entropy (94A17)

This page was built for publication: Proving information inequalities and identities with symbolic computation