@misc{indiciae6cc543d7168f,
  title = {Extracting analytic proofs from numerically solved Shannon-type Inequalities},
  author = {Ido B. Gattegno and Haim H. Permuter},
  year = {2017},
  url = {https://arxiv.org/abs/1707.01656},
  note = {Source identifier: 1707.01656}
}