Some applications of symbolic computation in spectral theory Posted on 10 January, 201510 January, 2018