Source Coding Theorem

Quentin Hibon and Lawrence C. Paulson

19 October 2016


This document contains a proof of the necessary condition on the code rate of a source code, namely that this code rate is bounded by the entropy of the source. This represents one half of Shannon's source coding theorem, which is itself an equivalence.
BSD License