Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions - Gameiro, Márcio Fuzeto; Lessard, Jean-Philippe; Pugliese, Alessandro (Foundations of Computational Mathematics, 2016)