Este trabalho é uma introdução a métodos computacionais rigorosos utilizados no estudo de sistemas dinâmicos não lineares. A priori, é dado um panorama de conceitos teóricos em equações diferenciais e análise funcional essenciais para o desenvolvimento das ferramentas. Em seguida, os métodos e suas aplicações são descritos em detalhes.

The present work is an introduction to rigorous computational methods applied in nonlinear dynamical systems. A brief description of the theory on differential equations and functional analysis is given, followed by the methods and its applications in details.