Cinq algorithmes de calcul symbolique

Paul Zimmermann (1)

1 INRIA Lorraine

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}.

Mots clés: calcul formel; algorithme; sommation symbolique; factorisation; polynôme; courbe elliptique

Domaines: Autre [cs.OH]

Paul Zimmermann. Cinq algorithmes de calcul symbolique. [Rapport de recherche] RT-0206, INRIA. 1997, pp.21. ⟨inria-00069965⟩