In this paper it is demonstrated how rigorous numerics may be applied to the one-dimensional nonlinear Schrödinger equation (NLS); specifically, to determining bound-state solutions and establishing certain spectral ...