A simpler proof for the existence of capacity-achieving nested lattice codes.

Renming Qi Chen Feng Yu-Chih Huang

Published in: ITW (2017)

Keyphrases

error correction
theorem prover
lattice structure
concept lattice
theorem proving
error correcting codes
complementarity problems
lattice theory
real time
multiresolution
error control
channel capacity
interactive theorem proving