par Hansen, Pierre
;Melot, Hadrien 
Référence Linear algebra and its applications, 356, 1-3, page (211-230)
Publication Publié, 2002-11


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. |