Resumo
O objetivo deste projeto de pesquisa é construir rigorosamente variedades de soluções definidas implicitamente por equações não-lineares em dimensão infinita. Usando um método de continuação a múltiplos parâmetros aplicado a uma projeção em dimensão finita, uma triangulação da variedade é construída e usada para construir localmente a variedade no espaço de dimensão infinita.