7. Finite-dimensional gradient flows with many stable equilibria
-
Problem 7.1.
[Keith Promislow] Estimate size of the basin of attraction for each equilibria.
Cite this as: AimPL: Computer assisted proofs for stability analysis of nonlinear waves, available at http://aimpl.org/compproofstability.