Return to Article Details Using Symbolic Computation to Prove Nonexistence of Distance-Regular Graphs Download Download PDF