@misc{indiciaec2bdc1976b63,
  title = {Proving Information Inequalities and Identities with Symbolic Computation},
  author = {Laigang Guo and Raymond W. Yeung and Xiao-Shan Gao},
  year = {2022},
  url = {https://arxiv.org/abs/2202.02786},
  note = {Source identifier: 2202.02786}
}