Back

G-2002-12

Computers in Graph Theory

BibTeX reference

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

, 26 pages

Research Axes

Research applications