Bright, Cheung, Stevens, Roy, Kotsireas, Ganesh, 2020. A Nonexistence Certificate for Projective Planes of Order Ten with Weight 15 Codewords.