Ces méthodes ont pour but commun l'étude des transitions de phase sous l'aspect analytique de singularités de fonctions. On présente les modèles discrets à spins d'Ising qui servent de support à ce travail. Les fonctions d'énergie de la physique statistique sont alors étudiées dans un contexte général d'approximations de singularités de fonctions convexes. Autour de la notion de matrice de transfert sont élaborées des propriétés de localisation de racines de polynômes. On termine par l'élaboration d'algorithmes de calcul formel de quelques fonctions fondamentales de la physique statistique: fonction de partition, énergie libre. On donne un panorama assez vaste des résultats obtenus à l'aide de ces algorithmes