11. Center manifolds
-
Problem 11.1.
[Blake Barker] Develop rigorous computer assisted methods for handling center manifolds.
Cite this as: AimPL: Computer assisted proofs for stability analysis of nonlinear waves, available at http://aimpl.org/compproofstability.