Formalization of Reed-Solomon codes and progress report on formalization of LDPC codes.

Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa

Browse the full ISITA paper archive.