Rigorous numerics for NLS: Bound states, spectra, and controllability | Publicación