Mathematical Analysis and Computation for Quantum Systems January 4, 2019