https://capacityatlas.org/ https://capacityatlas.org/problems/ https://capacityatlas.org/formalizations/ https://capacityatlas.org/contribute/ https://capacityatlas.org/about/ https://capacityatlas.org/api/ https://capacityatlas.org/problems/binary-deletion-channel/ https://capacityatlas.org/problems/binary-symmetric-channel/ https://capacityatlas.org/problems/general-relay-channel/ https://capacityatlas.org/problems/additive-white-gaussian-noise-channel/ https://capacityatlas.org/problems/sun-jafar-11-message-index-coding/ https://capacityatlas.org/problems/binary-erasure-channel/ https://capacityatlas.org/problems/binary-z-channel/ https://capacityatlas.org/problems/degraded-wiretap-channel/ https://capacityatlas.org/problems/discrete-memoryless-channel/ https://capacityatlas.org/problems/physically-degraded-broadcast-channel/ https://capacityatlas.org/problems/q-ary-symmetric-channel/ https://capacityatlas.org/problems/two-user-discrete-memoryless-mac/