Calcul formel : ce qu’il y a dans la boîte
Paul Zimmermann1
1 INRIA Lorraine
Journées mathématiques X-UPS, Calcul formel (1997), pp. 55-72.
Publié le :
DOI : 10.5802/xups.1997-03
Paul Zimmermann 1

1 INRIA Lorraine 
@incollection{XUPS_1997____55_0,
     author = {Paul Zimmermann},
     title = {Calcul formel~: ce qu{\textquoteright}il y a dans la bo{\^\i}te},
     booktitle = {Calcul formel},
     series = {Journ\'ees math\'ematiques X-UPS},
     pages = {55--72},
     publisher = {Les \'Editions de l{\textquoteright}\'Ecole polytechnique},
     year = {1997},
     doi = {10.5802/xups.1997-03},
     language = {fr},
     url = {https://proceedings.centre-mersenne.org/articles/10.5802/xups.1997-03/}
}
TY  - JOUR
AU  - Paul Zimmermann
TI  - Calcul formel : ce qu’il y a dans la boîte
JO  - Journées mathématiques X-UPS
PY  - 1997
SP  - 55
EP  - 72
PB  - Les Éditions de l’École polytechnique
UR  - https://proceedings.centre-mersenne.org/articles/10.5802/xups.1997-03/
DO  - 10.5802/xups.1997-03
LA  - fr
ID  - XUPS_1997____55_0
ER  - 
%0 Journal Article
%A Paul Zimmermann
%T Calcul formel : ce qu’il y a dans la boîte
%J Journées mathématiques X-UPS
%D 1997
%P 55-72
%I Les Éditions de l’École polytechnique
%U https://proceedings.centre-mersenne.org/articles/10.5802/xups.1997-03/
%R 10.5802/xups.1997-03
%G fr
%F XUPS_1997____55_0
Paul Zimmermann. Calcul formel : ce qu’il y a dans la boîte. Journées mathématiques X-UPS, Calcul formel (1997), pp. 55-72. doi : 10.5802/xups.1997-03. https://proceedings.centre-mersenne.org/articles/10.5802/xups.1997-03/

[1] A. O. L. Atkin; F. Morain Elliptic curves and primality proving, Math. Comp., Volume 61 (1993) no. 203, pp. 29-68 | DOI | MR | Zbl

[2] E. R. Berlekamp Factoring polynomials over finite fields, Bell System Tech. J., Volume 46 (1967), pp. 1853-1859 | DOI | MR | Zbl

[3] Manuel Bronstein Symbolic integration. I. Transcendental Functions, Algorithms and Computation in Math., 1, Springer-Verlag, Berlin, 2005

[4] David G. Cantor; Hans Zassenhaus A new algorithm for factoring polynomials over finite fields, Math. Comp., Volume 36 (1981) no. 154, pp. 587-592 | DOI | MR | Zbl

[5] Jack-Michel Cornil; Philippe Testud Maple. Introduction raisonnée à l’usage de l’étudiant, de l’ingénieur et du chercheur, Springer-Verlag, Berlin, 1995

[6] J. H. Davenport; Y. Siret; E. Tournier Calcul formel, Masson, Paris, 1993

[7] K. O. Geddes; S. R. Czapor; G. Labahn Algorithms for computer algebra, Kluwer Academic Publishers, Boston, MA, 1992 | DOI

[8] C. Gomez; B. Salvy; P. Zimmermann Calcul formel : mode d’emploi. Exemples en Maple, Masson, Paris, 1995

[9] R. William Gosper Decision procedure for indefinite hypergeometric summation, Proc. Nat. Acad. Sci. U.S.A., Volume 75 (1978) no. 1, pp. 40-42 | DOI | MR | Zbl

[10] H. W. Lenstra Factoring integers with elliptic curves, Ann. of Math. (2), Volume 126 (1987) no. 3, pp. 649-673 | DOI | MR | Zbl

[11] A. Leroux; R. Pomès Applications de Maple, Vuibert, Paris, 1995

[12] Marko Petkovšek; Herbert S. Wilf; Doron Zeilberger A=B, A. K. Peters, Wellesley, MA, 1996

[13] Victor Shoup A new polynomial factorization algorithm and its implementation, J. Symbolic Comput., Volume 20 (1995) no. 4, pp. 363-397 | DOI | MR | Zbl

[14] Hans Zassenhaus On Hensel factorization. I, J. Number Theory, Volume 1 (1969), pp. 291-311 | DOI | MR | Zbl

[15] Doron Zeilberger The method of creative telescoping, J. Symbolic Comput., Volume 11 (1991) no. 3, pp. 195-204 | DOI | MR | Zbl

Cité par Sources :