Bright, Curtis; Cheung, Kevin K. H.; Stevens, Brett; Kotsireas, Ilias; Ganesh, Vijay Nonexistence certificates for ovals in a projective plane of order ten. (English) Zbl 07601001 Gąsieniec, Leszek (ed.) et al., Combinatorial algorithms. 31st international workshop, IWOCA 2020, Bordeaux, France, June 8–10, 2020, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12126, 97-111 (2020). MSC: 68Rxx 68Wxx PDFBibTeX XMLCite \textit{C. Bright} et al., Lect. Notes Comput. Sci. 12126, 97--111 (2020; Zbl 07601001) Full Text: DOI arXiv
Bright, Curtis; Cheung, Kevin; Stevens, Brett; Roy, Dominique; Kotsireas, Ilias; Ganesh, Vijay A nonexistence certificate for projective planes of order ten with weight 15 codewords. (English) Zbl 1460.68098 Appl. Algebra Eng. Commun. Comput. 31, No. 3-4, 195-213 (2020). MSC: 68T20 05B25 51E20 68W30 PDFBibTeX XMLCite \textit{C. Bright} et al., Appl. Algebra Eng. Commun. Comput. 31, No. 3--4, 195--213 (2020; Zbl 1460.68098) Full Text: DOI arXiv