Cette thèse d'habilitation contient un traitement systématique des algorithmes d'élimination pour décomposer des systèmes arbitraires de polynômes à plusieurs variables en systèmes triangulaires de différentes sortes (réguliers, simples, irréductibles, ou munis de propriétés de projection), en fournissant les décompositions des ensembles des zéros associés. Beaucoup de ces algorithmes et les théories sous-jacentes sont proposés et développés par l'auteur sur la base des travaux de J.F. Ritt, W.-t. Wu, A. Seidenberg et J.M. Thomas. Certains algorithmes pertinents comme ceux fondés sur les résultants ou les bases de Groebner sont passés en revue. Des applications de ces méthodes d'élimination sont présentées, concernant des aspects algorithmiques en géométrie algébrique, la théorie des idéaux de polynômes, la résolution des systèmes algébriques, la démonstration automatique en géométrie, etc.