A survey of automated conjectures in spectral graph theory

M. Aouchiche; P. Hansen

doi:10.1016/j.laa.2009.06.015

A survey of automated conjectures in spectral graph theory

M. Aouchiche, P. Hansen

Research output: Contribution to journal › Article › peer-review

37 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 language	English
Pages (from-to)	2293-2322
Number of pages	30
Journal	Linear Algebra and Its Applications
Volume	432
Issue number	9
DOIs	https://doi.org/10.1016/j.laa.2009.06.015
Publication status	Published - Apr 15 2010
Externally published	Yes

Keywords

Algebraic connectivity
Eigenvalue
Graph
Index
Spectrum

ASJC Scopus subject areas

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

Access to Document

10.1016/j.laa.2009.06.015

Cite this

@article{6d8eb24ab92a413ba7b91185322199b9,

title = "A survey of automated conjectures in spectral graph theory",

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.",

keywords = "Algebraic connectivity, Eigenvalue, Graph, Index, Spectrum",

author = "M. Aouchiche and P. Hansen",

year = "2010",

month = apr,

day = "15",

doi = "10.1016/j.laa.2009.06.015",

language = "English",

volume = "432",

pages = "2293--2322",

journal = "Linear Algebra and Its Applications",

issn = "0024-3795",

publisher = "Elsevier Inc.",

number = "9",

}

TY - JOUR

T1 - A survey of automated conjectures in spectral graph theory

AU - Aouchiche, M.

AU - Hansen, P.

PY - 2010/4/15

Y1 - 2010/4/15

N2 - 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.

AB - 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.

KW - Algebraic connectivity

KW - Eigenvalue

KW - Graph

KW - Index

KW - Spectrum

UR - http://www.scopus.com/inward/record.url?scp=77149147461&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=77149147461&partnerID=8YFLogxK

U2 - 10.1016/j.laa.2009.06.015

DO - 10.1016/j.laa.2009.06.015

M3 - Article

AN - SCOPUS:77149147461

SN - 0024-3795

VL - 432

SP - 2293

EP - 2322

JO - Linear Algebra and Its Applications

JF - Linear Algebra and Its Applications

IS - 9

ER -

A survey of automated conjectures in spectral graph theory

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this