Computers and discovery in algebraic graph theory Original Research Article

On passe en revue les systèmes informatiques qui aident à obtenir et parfois donnent automatiquement des conjectures et réfutations en théorie algébrique des graphes.We survey computers systems which help to obtain and sometimes provide automatically conjectures and refutations in algebraic graph theory.