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