Reasoning about coding theory: The benefits we get from computer algebra

DOI10.1007/BFB0055902MaRDI QIDQ4217948zbMATH OpenFDO

Authors Clemens Ballarin, Lawrence C. Paulson

Publication date 11 November 1998

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0055902

zbMATH Keywords

coding theorycomputer algebramechanised reasoning

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Linear codes (general theory) (94B05)

Recommendations

• scientific article; zbMATH DE number 1389645
• Foreword: Computer algebra in coding theory and cryptography
• scientific article; zbMATH DE number 517013
• Generating certified code from formal proofs: a case study in homological algebra

Cited in

(2)

• scientific article; zbMATH DE number 1389645 (Why is no real title available?)
• A case-study in algebraic manipulation using mechanized reasoning tools

Describes a project that uses

Uses Software

• ALDOR

This page was built for publication: Reasoning about coding theory: The benefits we get from computer algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4217948)