G-2001-48
Computers and Discovery in Algebraic Graph Theory
et
référence BibTeXWe 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