Formalization of Error-Correcting Codes: From Hamming to Modern Coding Theory

DOI10.1007/978-3-319-22102-1_2zbMath1465.94146MaRDI QIDQ2945620

Reynald Affeldt, Jacques Garrigue

Publication date: 14 September 2015

Published in: Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-22102-1_2

Mathematics Subject Classification ID

94B99: Theory of error-correcting codes and error-detecting codes

68V20: Formalization of mathematics in connection with theorem provers

Uses Software

• Coq
• Coq/SSReflect