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

Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa. Formalization of Reed-Solomon codes and progress report on formalization of LDPC codes. In 2016 International Symposium on Information Theory and Its Applications, ISITA 2016, Monterey, CA, USA, October 30 - November 2, 2016. pages 532-536, IEEE, 2016. [doi]

Authors

Reynald Affeldt

This author has not been identified. Look up 'Reynald Affeldt' in Google

Jacques Garrigue

This author has not been identified. Look up 'Jacques Garrigue' in Google

Takafumi Saikawa

This author has not been identified. Look up 'Takafumi Saikawa' in Google