TY - RPRT TI - Using symbolic computation to prove nonexistence of distance-regular graphs AU - Janoš Vidali PY - 2018 UR - https://arxiv.org/abs/1803.10797 ID - 1803.10797 ER -