Convergence of a Riemannian gradient method for the Gross–Pitaevskii energy functional in a rotating framePatrick Henning and Mahima YadavESAIM: M2AN, 59 2 (2025) 1145-1175DOI: https://doi.org/10.1051/m2an/2025018