Quelques applications de l'évaluation dynamique

Cette these est consacree a l'etude et la programmation de quelques applications de l'evaluation dynamique. Elle est composee de deux travaux independants. Dans la premiere partie de ce memoire, nous etudions le calcul de la forme canonique de jordan d'une matrice. Nous presentons ici les resultats theoriques obtenus et quelques algorithmes implantes. Dans la deuxieme partie, nous decrivons le programme de la cloture constructible dynamique que nous avons realise pour effectuer des calculs avec des parametres. Nous utilisons ce programme pour la resolution des systemes polynomiaux et pour la demonstration automatique de theoremes en geometrie elementaire