dissipative PDE's, computer-assisted proof