A new proof of Delsarte, Goethals and Mac Williams theorem on minimal weight codewords of generalized Reed-Muller code

Published in: CoRR (2010)

Keyphrases

error correcting codes
interactive theorem proving
vector quantization
weight assignment
source code
hamming distance
error correcting
wavelet transform
theorem proving
von neumann
linear logic
database
data sets
neural network
case study
weighting scheme