A proposta deste trabalho é apresentar resultados para o estudo sistemático de sistemas dinâmicos reversíveis-equivariantes, ou seja, em presença simultânea de simetrias e antisimetrias. Este é o caso em que o domínio e as equações que regem o sistema são invariantes pela ação de um grupo de Lie compacto Γ formado pelas simetrias e anti-simetrias do problema. Apresentamos métodos de teoria de Singularidades e teoria de invariantes para classificar bifurcações a um parâmetro de pontos de equilíbrio destes sistemas. Para isso, separamos o estudo de aplicações Γ-reversíveis-equivariantes em dois casos: auto-dual e não auto-dual. No primeiro caso, a existência de um isomorfismo linear Γ-reversível-equivariante estabelece uma correspondência entre a classificação de problemas Γ-reversíveis-equivariantes e a classificação de problemas Γ-equivariantes associados, para os quais todos os elementos de Γ agem como simetria. Os resultados obtidos para o caso não auto-dual se baseiam em teoria de invariantes e envolvem técnicas algébricas que reduzem a análise ao caso polinomial invariante. Dois algoritmos simbólicos são estabelecidos para o cálculo de geradores para o módulo das funções anti-invariantes e para o módulo das aplicações reversíveis-equivariantes.

The purpose of this work is to present results for the sistematic study of reversible-equivariant dynamical systems, namely in simultaneous presence of symmetries and reversing simmetries. This is the case when the domain and the equations modeling the system are invariant under the action of a compact Lie group Γ formed by the symmetries and reversing symmetries of the problem. We present methods in Singularities and Invariant theory to classify oneparameter steady-state bifurcations of these systems. For that, we split the study of the ¡¡reversible-equivariant mapping into two cases: self-dual and non self-dual. In the first case, the existence of a Γ-reversible-equivariant linear isomorphism establishes a one-toone correspondence between the classification of Γ-reversible-equivariant problems and the classification of the associated Γ-equivariant problems, for which all elements in Γ act as symmetries. The results obtained for the non self-dual case are based on Invariant theory and involve algebraic techniques that reduce the analysis to the invariant polynomial case. Two symbolic algorithms are established for the computation of generators for the module of anti-invariant functions and for the module of reversible-equivariant mappings.