Reasoning About Coding Theory: The Benefits We Get from Computer Algebra.

Clemens Ballarin, Lawrence C. Paulson

Browse the full AISC paper archive.