TY - RPRT TI - Extracting analytic proofs from numerically solved Shannon-type Inequalities AU - Ido B. Gattegno AU - Haim H. Permuter PY - 2017 UR - https://arxiv.org/abs/1707.01656 ID - 1707.01656 ER -