Le sujet de la thèse se situe dans le cadre de l'étude des équations différentielles ordinaires et des systèmes dynamiques non linéaires. La thèse présente une étude des attracteurs des systèmes dynamiques dissipatifs. En particulier, l'attracteur chaotique de Lorenz et les cycles limites des systèmes de Liénard. La première partie est dédiée au système de Lorenz. Ce système est obtenu par simplication des équations de Boussinesq fourmulées dans la cadre de la convection de Rayleigh-Bénard. Le système de Lorenz est important car il est le premier à avoir exhibé un comportement chaotique. On utilise des sections transverses (courbes ou surfaces qui ne sont traversées par le flot que dans un seul sens sur toute leur étendue) pour acquerir de l'information sur l'attracteur chaotique du système. Pour cela, on utilise les formes algébriques des intégrales du mouvement pour trouver des équations de sections tranverses. L'existance des ces sections transverses pour des plages de valeurs des paramètres nous permet de donner des limites algébriques à l'attracteur chaotique du systeme quand celui ci existe mais aussi de donner des plages de valeur des paramètres pour lesquelles il n'y a pas de comportement chaotique possible. La deuxième partie de la thèse présente un algorithme formel qui donne accès au nombre de cycles limites des systèmes de Liénard. En plus du nombre, on obtient une approximation algébrique de l'equation ainsi que la multiplicité de chacun de ces cycles. Le grand intérêt de cet algorithme est qu'il ne repose pas sur l'existence d'un petit paramètre (l'algorithme n'est pas perturbatif) et qu'il change le problème initial de résoudre une équation differentielle nonlinéaire en un problème algébrique de compter les racines d'un polynôme à une variable. On obtient aussi grâce à cet algorithme des approximations algébriques des courbes de bifurcations (de Hopf, saddle-node, hétérocline) des systèmes de Liénard.