Proving information inequalities and identities with symbolic computation

DOI10.1109/TIT.2023.3263178MaRDI QIDQ6574777zbMATH OpenFDO

Authors 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)