Validated continuation was introduced [S. Day, J.-P. Lessard, K. Mischaikow, Validated continuation for equilibria of PDEs, SIAM Journal on Numerical Analysis, in press] as means of checking that the classical continuation method applied to a Galerkin projection of a PDE provides a locally...