TY - RPRT TI - Computer-Assisted Proofs of Gap Solitons in Bose-Einstein Condensates AU - Miguel Ayala AU - Carlos GarcĂ­a-Azpeitia AU - Jean-Philippe Lessard PY - 2026 DO - 10.1007/s00332-026-10242-2 UR - https://arxiv.org/abs/2503.04701 ID - 2503.04701 ER -