A survey of automated conjectures in spectral graph theory

M. Aouchiche, P. Hansen

Research output: Contribution to journalArticlepeer-review

33 Citations (Scopus)

Abstract

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 cases proved, using computer programs, such as GRAPH, Graffiti, Ingrid, newGRAPH and AutoGraphiX. This paper presents a survey and a discussion of such results.

Original languageEnglish
Pages (from-to)2293-2322
Number of pages30
JournalLinear Algebra and Its Applications
Volume432
Issue number9
DOIs
Publication statusPublished - Apr 15 2010
Externally publishedYes

Keywords

  • Algebraic connectivity
  • Eigenvalue
  • Graph
  • Index
  • Spectrum

ASJC Scopus subject areas

  • Algebra and Number Theory
  • Numerical Analysis
  • Geometry and Topology
  • Discrete Mathematics and Combinatorics

Fingerprint

Dive into the research topics of 'A survey of automated conjectures in spectral graph theory'. Together they form a unique fingerprint.

Cite this