G-2001-48
Computers and Discovery in Algebraic Graph Theory
and BibTeX reference
We survey computers systems which help to obtain and sometimes provide automatically conjectures and refutations in algebraic graph theory.
Published December 2001 , 25 pages