Nous faisons un tour d'horizon de quelques méthodes formelles utilisées et implantées pour la résolution des systèmes algébriques. Nous nous attardons sur le cas des systèmes de dimension positive en décrivant des méthodes basées sur l'étude des points critiques de fonctions bien choisies.