Group for Research in Decision Analysis

G-2002-12

Computers in Graph Theory

A survey is made of computer systems which help to obtain and sometimes provide automatically proofs, conjectures and refutations in graph theory.

, 26 pages