par Hansen, Pierre ;Melot, Hadrien
Référence Linear algebra and its applications, 356, 1-3, page (211-230)
Publication Publié, 2002-11
Article révisé par les pairs
Résumé : We survey computers systems which help to obtain and sometimes provide automatically conjectures and refutations in algebraic graph theory.