A nonexistence certificate for projective planes of order ten with weight 15 codewords. - Curtis Bright; Kevin K. H. Cheung; Brett Stevens; Dominique Roy; Ilias S. Kotsireas; Vijay Ganesh 001 (Appl. Algebra Eng. Commun. Comput., 2020)