Resumo
O objetivo deste projeto de pesquisa é construir rigorosamente curvas e variedades de soluções definidas implicitamente por equações não-lineares e usar estas variedade de soluções para calcular rigorosamente alguns tipos bifurcações de soluções de equações diferenciais. (AU)