| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4601834 | Linear Algebra and its Applications | 2010 | 30 Pages |
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.
Related Topics
Physical Sciences and Engineering
Mathematics
Algebra and Number Theory
