Retour

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.

, 25 pages

Axes de recherche

Applications de recherche