Proving information inequalities and identities with symbolic computation

DOI10.1109/TIT.2023.3263178zbMATH Open1546.94033MaRDI QIDQ6574777FDOQ6574777

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

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

Cited In (1)

• Self-adhesivity in lattices of abstract conditional independence models

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6574777)