TY - JOUR AU - Janoš Vidali TI - Using symbolic computation to prove nonexistence of distance-regular graphs JO - The electronic journal of combinatorics PY - 2018 VL - 25 IS - 4 UR - http://geodesic.mathdoc.fr/articles/10.37236/7763/ DO - 10.37236/7763 ID - 10_37236_7763 ER -