Binary even [25,15,6] codes do not exist (Corresp.) | IEEE Journals & Magazine | IEEE Xplore