We report on the computational approach to non-existence of the above strongly regular graph based on the complete enumeration and elimination of possible neighbourhoods of a maximal 3-clique. We also discuss a possible similar approach for a second strongly regular graph, srg(99,14,1,2), known as Conway’s graph. This is a joint project with Tianxiao Zhao.

Sergey Shpectorov，一位资深且高产的数学家，研究领域集中在群论与代数组合学的交叉方向。他在有限群几何、轴向代数、图嵌入理论等方面有持续且深入的工作。学术网络广泛，国际合作活跃，指导经验丰富，是伯明翰大学数学学院的核心教授之一。