Uma prova da Conjectura de Golomb-Welch para códigos lineares em Zn com 7 ≤ n ≤ 12 e raio 2

Resumo

Dados um alfabeto A (finito ou infinito) e n ∈ N, um código é um subconjunto de An. Fixada uma métrica em An, o raio de empacotamento de um código é o maior raio k tal que ao traçarmos esferas com este raio ao redor de todas as palavras do código, estas esferas não se intersectam. Um código é dito perfeito se a união das esferas centradas nas palavras do código e com raio igual ao raio de empacotamento resultar no espaço todo. [...]