Rigorous numerics for NLS: bound states, spectra, and controllability - Roberto Castelli; Holger Teismann (2013)