Cinq algorithmes de calcul symbolique - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1997

Cinq algorithmes de calcul symbolique

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⟩
230 View
429 Download

Share

Gmail Mastodon Facebook X LinkedIn More