Describir: Spectral Theory in Inner Product Spaces and Applications