A survey of automated conjectures in spectral graph theory - Aouchiche, Mustapha; Hansen, Pierre (Linear Algebra and its Applications, 2010)