Cinq algorithmes de calcul symbolique (original) (raw)

Rapport (Rapport De Recherche) Année : 1997

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

Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00069965

Soumis le : vendredi 19 mai 2006-18:43:29

Dernière modification le : mardi 7 février 2023-03:38:16

Archivage à long terme le : dimanche 4 avril 2010-19:59:20

Dates et versions

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

Licence

Identifiants

Citer

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

431 Consultations

701 Téléchargements