Examples of Formal Proofs about Data Compression

Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa. Examples of Formal Proofs about Data Compression. In International Symposium on Information Theory and Its Applications, ISITA 2018, Singapore, October 28-31, 2018. pages 633-637, IEEE, 2018. [doi]

Abstract

Abstract is missing.