The minimal covering radius t(15,6) of a six-dimensional binary linear code of length 15 is equal to 4 | IEEE Journals & Magazine | IEEE Xplore