Examples of Formal Proofs about Data Compression.

Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa

Browse the full ISITA paper archive.