Cinq algorithmes de calcul symbolique
Résumé
Ce document est le support d'un module de spécialisation intitulé «Quelques algorithmes de calcul symbolique» enseigné par l'auteur au DEA d'informatique de l'Université Henri Poincaré - Nancy 1 en 1997. Cinq algorithmes fondamentaux utilisés par les systèmes de calcul formel sont décrits brièvement~: l'algorithme de {\sc Gosper} pour le calcul de sommes indéfinies, l'algorithme de {\sc Zeilberger} pour le calcul de sommes définies, l'algorithme de {\sc Berlekamp} pour la factorisation de polynômes sur des corps finis, l'algorithme de {\sc Zassenhaus} pour la factorisation de polynômes à coefficients entiers, et l'algorithme de {\sc Lenstra} pour la factoristion d'entiers à l'aide des courbes elliptiques. Ces algorithmes ont tous été implantés --- ou améliorés --- par l'auteur dans le système de calcul formel {\sc MuPAD}.