Group for Research in Decision Analysis

G-2001-48

Computers and Discovery in Algebraic Graph Theory

and

We survey computers systems which help to obtain and sometimes provide automatically conjectures and refutations in algebraic graph theory.

, 25 pages