Discussing graph theory with a computer. II: Theorems suggested by the computer.
Chromatic Number And The Spectrum Of A Graph
Spectrum Of The Total Graph Of A Graph
New Characterizations Of The Cubic Lattice Graph
A Note On Constructions Of Graphs By Means Of Their Spectra
The Number Of Antichains Of Finite Power Sets
On a graph theory problem of M. Koman
Some remarks on the complement of a line graph
Some Comments on the Eigenspaces of Graphs
Graphs Which Are Switching Equivalent To Their Line Graphs
Discussing Graph Theory with a Computer III, Man-machine Theorem Proving
Page 1