Computer-Assisted Proofs of Gap Solitons in Bose-Einstein Condensates. - Miguel Ayala; Carlos García-Azpeitia; Jean-Philippe Lessard (J. Nonlinear Sci., 2026)