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}.
Document type :
Reports
Complete list of metadatas

https://hal.inria.fr/inria-00069965
Contributor : Rapport de Recherche Inria <>
Submitted on : Friday, May 19, 2006 - 6:43:29 PM
Last modification on : Saturday, September 17, 2016 - 1:06:51 AM
Long-term archiving on : Sunday, April 4, 2010 - 7:59:20 PM

Identifiers

  • HAL Id : inria-00069965, version 1

Collections

Citation

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

Share

Metrics

Record views

402

Files downloads

528