G-2009-18
A Survey of Automated Conjectures in Spectral Graph Theory
et référence BibTeX
During the last three decades, the computer has been widely used in spectral graph theory. Many results about graph eigenvalues were first conjectured, and in some rare cases proved, using computer programs, such as GRAPH, Graffiti, Ingrid, newGraph and AutoGraphiX. This paper presents a survey and a discussion of such results.
Paru en mars 2009 , 35 pages
Axe de recherche
Applications de recherche
Publication
jan. 2010
A survey of automated conjectures in spectral graph theory
et
Linear Algebra and its Applications, 432(9), 2293–2322, 2010
référence BibTeX