AIM Workshop Computer assisted proofs for stability analysis of nonlinear waves

Date: