An Elementary Proof of the MacWilliams Theorem on Equivalence of Codes

Kenneth Bogart Don Goldberg Jean Gordon

Published in: Inf. Control. (1978)

Keyphrases

interactive theorem proving
theorem prover
error correction
data structure
error correcting codes
linear logic
computer vision
decision trees
database systems
inference rules
theorem proving
error correcting
automated theorem proving
parity check