## Computer assisted proofs for stability analysis of nonlinear waves

### Edited by org.aimpl.user:joel.dahne@math.uu.se

### Sections

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