Abstract by Krista Perry
Computer Assisted Proof of the Existence of Unstable Eigenvalues in PDEs
We discuss recent work geared toward proving the instability of certain traveling waves. In particular, we consider the Gray-Scott model. We use computer-assisted proof aided by the parameterization method.