Using Wolfram Mathematica in Spectral Theory, Proceedings of the 3rd International Conference on Numerical and Symbolic Computation Developments and Applications