On Generating Theorems and Conjectures in Spectral Theory with Computer Assistance

In this paper I describe some situations in which computer runs using subroutine SLEDGE has helped answer some analytic questions in the spectral theory of Sturm-Liouville problems. The answers provide conjectures in mathematics for which analytic proof remains elusive.