AbstractWe survey computers systems which help to obtain and sometimes provide automatically conjectures and refutations in algebraic graph theory
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.