G-2001-48
Computers and Discovery in Algebraic Graph Theory
et référence BibTeX
We survey computers systems which help to obtain and sometimes provide automatically conjectures and refutations in algebraic graph theory.
Paru en décembre 2001 , 25 pages