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

1 INRIA Lorraine 
@incollection{XUPS_1997____55_0,
     author = {Zimmermann, Paul},
     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 = {http://archive.numdam.org/articles/10.5802/xups.1997-03/}
}
TY  - JOUR
AU  - Zimmermann, Paul
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  - http://archive.numdam.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 Zimmermann, Paul
%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 http://archive.numdam.org/articles/10.5802/xups.1997-03/
%R 10.5802/xups.1997-03
%G fr
%F XUPS_1997____55_0
Zimmermann, Paul. 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. http://archive.numdam.org/articles/10.5802/xups.1997-03/

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

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

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

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

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

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

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

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

[9] Gosper, R. William Jr. 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] Lenstra, H. W. Jr. Factoring integers with elliptic curves, Ann. of Math. (2), Volume 126 (1987) no. 3, pp. 649-673 | DOI | MR | Zbl

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

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

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

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

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

Cité par Sources :