Groupe d’études et de recherche en analyse des décisions

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