We present a new method to compute normal forms, applied to the germs of reversible mappings. We translate the classification problem of these germs to the theory of ideals in the space of the coefficients of their jets. Integral factorization coupled with Gröbner basis constructionjs the key factor that makes the process efficient. We also show that a language with typed objects like AXIOM is very convenient to solve these kinds of problems.

We take advantage of the complex structure to compute in a short way and without using any computer algebra system the Lyapunov quantities $V_3$ and $V_5$ for a general smooth planar system.

Basic models suitable to explain the epidemiology of dengue fever have previously shown the possibility of deterministically chaotic attractors, which might explain the observed fluctuations found in empiric outbreak data. However, the region of bifurcations and chaos require strong enhanced infectivity on secondary infection, motivated by experimental findings of antibody-dependent-enhancement. Including temporary cross-immunity in such models, which is common knowledge among field researchers...

2000 Mathematics Subject Classification: Primary 34C07, secondary 34C08.We obtain an upper bound for the number of zeros of the Abelian integral.The work was partially supported by contract No 15/09.05.2002 with the Shoumen University “K. Preslavski”, Shoumen, Bulgaria.

A bifurcation problem for variational inequalities $$U\left(t\right)\in K,(\dot{U}\left(t\right)-B_{\lambda }U\left(t\right)-G(\lambda ,U\left(t\right)),Z-U\left(t\right))\ge 0\text{for}\text{all}Z\in K,\text{a.a.}t\ge 0$$ is studied, where $K$ is a closed convex cone in ${ℝ}^{\kappa }$, $\kappa \ge 3$, $B_{\lambda }$ is a $\kappa \times \kappa$ matrix, $G$ is a small perturbation, $\lambda$ a real parameter. The main goal of the paper is to simplify the assumptions of the abstract results concerning the existence of a bifurcation of periodic solutions developed in the previous paper and to give examples in more than three dimensional case.