Pages that link to "Item:Q2945620"
From MaRDI portal
The following pages link to Formalization of Error-Correcting Codes: From Hamming to Modern Coding Theory (Q2945620):
Displaying 5 items.
- Verifying the implementation of an error control code (Q1870229) (← links)
- A library for formalization of linear error-correcting codes (Q2209551) (← links)
- Formalization of Error-Correcting Codes: From Hamming to Modern Coding Theory (Q2945620) (← links)
- Deep Generation of Coq Lemma Names Using Elaborated Terms (Q5048996) (← links)
- Verified Erasure Correction in Coq with MathComp and VST (Q6487340) (← links)