TY - RPRT TI - Rigorous numerics for NLS: bound states, spectra, and controllability AU - Roberto Castelli AU - Holger Teismann PY - 2013 UR - https://arxiv.org/abs/1310.6531 ID - 1310.6531 ER -