| Register
\(\newcommand{\Cat}{{\rm Cat}} \) \(\newcommand{\A}{\mathcal A} \) \(\newcommand{\freestar}{ \framebox[7pt]{$\star$} }\)

3. Spatial dynamics


    1. Add remark

      Problem 3.1.

      [Christopher Jones] Use computer assisted methods to extend spatial dynamics in infinite dimensions from the perturbative regime.

          Cite this as: AimPL: Computer assisted proofs for stability analysis of nonlinear waves, available at http://aimpl.org/compproofstability.