scientific article; zbMATH DE number 1389645
From MaRDI portal
Publication:4934138
zbMath0951.68196MaRDI QIDQ4934138
Clemens Ballarin, Lawrence Charles Paulson
Publication date: 17 January 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Theory of error-correcting codes and error-detecting codes (94B99)
Related Items (4)
Formalization of Error-Correcting Codes: From Hamming to Modern Coding Theory ⋮ A bi-directional extensible interface between Lean and Mathematica ⋮ A library for formalization of linear error-correcting codes ⋮ A reconstruction and extension of Maple's assume facility via constraint contextual rewriting
Uses Software
This page was built for publication:
