Computer assisted proof of branches of stationary and periodic solution, and Hopf bifurcations, for dissipative PDEs

We discuss an approach to the computer assisted proof of the existence of branches of stationary and periodic solutions for dissipative PDEs, using the Brussellator system with diffusion and Dirichlet boundary conditions as an example, We also consider the case where the branch of periodic solutions emanates from a branch of stationary solutions through a Hopf bifurcation.