point-vortices

Stability of regular N-vortex rings on the sphere, plane and hyperbolic plane: Montaldi–Tokieda Conjecture 13 completed, certified tanh-model thresholds, a Lean 4 check, and the havelock Python package.

Computer-certified counts of the equilibrium shapes of n equal masses and of n identical point vortices.