Abstract
The goal of this research project is to rigorously compute implicitly defined manifolds of solutions of infinite dimensional nonlinear equations. Using a multi-parameter continuation method on a finite dimensional projection, a triangulation of the manifold is computed and is then used to construct local charts of the global manifold in the infinite dimensional domain of the operator.