The following pages link to (Q4934138):
Displaying 5 items.
- A library for formalization of linear error-correcting codes (Q2209551) (← links)
- A reconstruction and extension of Maple's assume facility via constraint contextual rewriting (Q2456557) (← links)
- A bi-directional extensible interface between Lean and Mathematica (Q2673306) (← links)
- A coding theoretic study of MLL proof nets (Q2888855) (← links)
- Formalization of Error-Correcting Codes: From Hamming to Modern Coding Theory (Q2945620) (← links)