Vidali, J. Using Symbolic Computation to Prove Nonexistence of Distance-Regular Graphs. Electron. J. Combin. 2018, 25, #P4.21.