Rigorous Computation of a Radially Symmetric Localized Solution in a Ginzburg-Landau Problem. - Jan Bouwe van den Berg; Chris M. Groothedde; J. F. Williams (SIAM J. Appl. Dyn. Syst., 2015)