%0 Journal Article %A Janoš Vidali %T Using symbolic computation to prove nonexistence of distance-regular graphs %J The electronic journal of combinatorics %D 2018 %V 25 %N 4 %U http://geodesic.mathdoc.fr/articles/10.37236/7763/ %R 10.37236/7763 %F 10_37236_7763