On décrit et on étudie une matrice Q inversible telle que Q F = JQ ou J est la forme normale de Jordan d'une matrice carrée A, et F sa forme de Frobenius. On propose un algorithme efficace pour le calcul de l'inverse de Q et deux algorithmes donnant la forme de Frobenius d'une matrice n x n quelconque. Dans le cas ou les éléments de A sont des nombres rationnels, on montre que la complexité de l'un des algorithmes est polynomiale. On considère aussi le cas des matrices A coefficients dans le corps des nombres algébriques sur Q

Le travail présente dans cette thèse est un travail algorithmique portant sur deux sujets: solutions formelles des systèmes d'équations différentielles linéaires ordinaires dépendant (ou pas) d'un paramètre et opérations fondamentales pour les opérateurs différentiels. Dans la première partie: nous avons démontre la convergence d'un algorithme et développe un programme en macsyma pour le calcul de la forme de Frobenius et Jordan de matrices holomorphes. Nous avons aussi développé un algorithme et un programme en macsyma pour le calcul de formes de Arnold-Wasow de matrices et systèmes différentiels dépendant d'un paramètre. Grâce a ces algorithmes, l'algorithme de Turrittin-Wasow est adapte au calcul formel pour trouver les solutions formelles de systemes differentiels dépendant d'un paramétré. Nous avons developpe un programme en macsyma pour le calcul de solutions formelles de systèmes différentiels dans un voisinage du point singulier régulier. Dans la deuxième partie: nous avons développe des algorithmes pour des opérations fondamentales sur deux opérateurs différentiels: le plus grand commun diviseur, le plus petit commun multiples, l'algorithme de Bezout, le pseudo-résultant. Nous avons aussi étudie une généralisation directe de la notion de base de Grobner dans l'anneau des opérateurs différentiels a coefficients polynomiaux, i.e. L'algèbre de Weyl