Supplementary files for the proof of non-existence of SRG(76,30,8,14)

A. Bondarenko, A. Prymak, D. Radchenko

• The paper can be accessed here (arxiv).


• Previous version of this page can be accessed here.


• Bounds on the number of K_4 subgraphs implied by Theorem 3.3 for SRG graphs of size at most 1300 are listed in this text file, the expression for the rational function of k, r, s providing the bound is in this text file.


• Computation of the bound on the number of 4-cliques: view in the browser, get PDF file, get sage worksheet.



• References to the numbered statements from the paper in the files below are to this specific version: https://arxiv.org/abs/1410.6748v2.


• Auxiliary computations: view in the browser, get PDF file, get sage worksheet.


• Eliminating 16-coclique: view in the browser, get PDF file, get sage worksheet.


• Eliminating K6,10: view in the browser, get PDF file, get sage worksheet.