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

G-2001-48

Computers and Discovery in Algebraic Graph Theory

et

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

, 25 pages