Vidali, J. 2018. Using Symbolic Computation to Prove Nonexistence of Distance-Regular Graphs. The Electronic Journal of Combinatorics. 25, 4 (Oct. 2018), #P4.21. DOI:https://doi.org/10.37236/7763.