Cinq algorithmes de calcul symbolique - Archive ouverte HAL Access content directly
Reports (Research Report) Year : 1997

Cinq algorithmes de calcul symbolique

(1)
1
Paul Zimmermann

Abstract

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}.
Fichier principal
Vignette du fichier
RT-0206.pdf (341.44 Ko) Télécharger le fichier

Dates and versions

inria-00069965 , version 1 (19-05-2006)

Identifiers

  • HAL Id : inria-00069965 , version 1

Cite

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

Share

Gmail Facebook Twitter LinkedIn More