LS03 LECERF, G. et É. SCHOST (2003). « Fast multivariate power series multiplication in characteristic zero ». In : SADIO Electronic Journal on Informatics and Operations Research, vol. 5, n°1, p. 1–10 (cité page 231).

Mac94 MACAULAY, F. S. (1994). *The algebraic theory of modular systems*. Cambridge Mathematical Library. Revised reprint of the 1916 original, With an introduction by Paul Roberts. Cambridge University Press (cité page 481).

Mah61 MAHLER, K. (1961). « On the zeros of the derivative of a polynomial ». In : Proceedings of the Royal Society of London A : Mathematical, Physical and Engineering Sciences, vol. 264, n°1317, p. 145–154 (cité page 396).

Mah68 — (1968). « Perfect systems ». In : Compositio Mathematica, vol. 19, 95–166 (1968) (cité page 154).

Mak86 MAKAROV, O. M. (1986). « An algorithm for multiplying 3 × 3 matrices ». In : USSR Computational Mathematics and Mathematical Physics, vol. 26, n°1, p. 179–180 (cité page 182).

Mar98 MAROTTE, F. (1898). « Les équations différentielles linéaires et la théorie des groupes ». In : Annales de la Faculté des Sciences de Toulouse, vol. 12, n°4, p. 1–92 (cité page 321).

Mas69 MASSEY, James L. (1969). « Shift-register synthesis and BCH decoding ». In : IEEE Transactions on Information Theory, vol. IT-15, p. 122–127 (cité page 153).

Mat93 MATIYASEVICH, Yuri V. (1993). *Hilbert's tenth problem*. Foundations of Computing Series. Translated from the 1993 Russian original by the author, with a foreword by Martin Davis. MIT Press (cité page 30).

MB66 MILLER, J. C. P. et D. J. Spencer BROWN (1966). « An algorithm for evaluation of remote terms in a linear recurrence sequence ». In : Computer Journal, vol. 9, p. 188–190 (cité page 92).

MB72 MOENCK, R. T. et A. BORODIN (1972). « Fast modular transforms via division ». In : Thirteenth Annual IEEE Symposium on Switching and Automata Theory, p. 90–96 (cité pages 91, 107).

MC79 MOENCK, Robert T. et John H. CARTER (1979). « Approximate algorithms to derive exact solutions to systems of linear equations ». In : Symbolic and Algebraic Computation. Eurosam '79, An International Symposium on Symbolic and Algebraic Manipulation, Marseille, France, June 1979. Vol. 72. Lecture Notes in Computer Science. London, UK : Springer-Verlag, p. 65–73 (cité page 214).

Mer74 MERSEREAU, Russell M. (1974). « An algorithm for performing an inverse chirp z-transform ». In : IEEE Transactions on Audio and Electroacoustics, vol. ASSP-22, n°5, p. 387–388 (cité page 107).

Mig74 MIGNOTTE, M. (1974). « An inequality about factors of polynomials ». In : Mathematics of Computation, vol. 28, p. 1153–1157 (cité page 396).

Mil75 MILLS, W. H. (1975). « Continued fractions and linear recurrences ». In : Mathematics of Computation, vol. 29, p. 173–180 (cité page 153).

MM82 MAYR, Ernst W. et Albert R. MEYER (1982). « The complexity of the word problems for commutative semigroups and polynomial ideals ». In : Advances in Mathematics, vol. 46, n°3, p. 305–329 (cité page 481).

MM86 MÖLLER, H. Michael et Ferdinando MORA (1986). « New constructive methods in classical ideal theory ». In : Journal of Algebra, vol. 100, n°1, p. 138–178 (cité page 444).

Moe73 MOENCK, R. T. (1973). « Fast computation of GCDs ». In : STOC'73 : ACM Symposium on Theory of Computing. Austin : ACM, p. 142–151 (cité page 135).

Moe76 MOENCK, Robert T. (1976). « Another polynomial homomorphism ». In : Acta Informatica, vol. 6, n°2, p. 153–169 (cité page 54).
Moe77 — (1977). « On the efficiency of algorithms for polynomial factoring ». In : Mathematics of Computation, vol. 31, p. 235–250 (cité page 356).

Mö108 MÖLLER, Niels (2008). « On Schönhage's algorithm and subquadratic integer GCD computation ». In : Mathematics of Computation, vol. 77, n°261, p. 589–607 (cité page 136).

Mon05 MONTGOMERY, Peter L. (2005). « Five, six, and seven-term Karatsuba-like formulae ». In : IEEE Transactions on Computers, vol. 54, n°3, p. 362–369 (cité page 53, 54).

Mon85 — (1985). « Modular multiplication without trial division ». In : Mathematics of Computation, vol. 44, n°170, p. 519–521 (cité page 91).

Mon92 MONTGOMERY, P. L. (1992). « An FFT extension of the elliptic curve method of factorization ». Thèse de doctorat. University of California, Los Angeles CA (cité page 107).

Mor05 MORA, Teo (2005). Solving polynomial equation systems II : Macaulay's paradigm and Gröbner technology. Vol. 99. Encyclopedia of Mathematics and its Applications. Cambridge University Press (cité page 444).

Mor73 MORGENSTERN, Jacques (1973). « Note on a lower bound of the linear complexity of the fast Fourier transform ». In : Journal of the Association for Computing Machinery, vol. 20, p. 305–306 (cité page 53).

Mor80 MORF, M. (1980). « Doubling algorithms for Toeplitz and related equations ». In : IEEE Conference on Acoustics, Speech, and Signal Processing, p. 954–959 (cité page 206).

MP13 MULLEN, Gary L. et Daniel PANARIO (2013). Handbook of finite fields. Discrete Mathematics and Its Applications. Chapman et Hall/CRC (cité pages 356, 413).

MRR88 MINES, Ray, Fred RICHMAN et Wim RUITENBURG (1988). A course in constructive algebra. Universitext. Springer-Verlag (cité page 342).

MS10 MEZZAROBA, Marc et Bruno SALVY (2010). « Effective Bounds for P-Recursive Sequences ». In : Journal of Symbolic Computation, vol. 45, n°10, p. 1075–1096 (cité page 322).

MS78 MCELIECE, Robert J. et James B. SHEARER (1978). « A property of Euclid's algorithm and an application to Padé approximation ». In : SIAM Journal on Applied Mathematics, vol. 34, n°4, p. 611–615 (cité page 153).

MS88 MIGNOTTE, Maurice et Claus SCHNORR (1988). « Calcul déterministe des racines d'un polynôme dans un corps fini ». In : Comptes Rendus des Séances de l'Académie des Sciences. Série I. Mathématique, vol. 306, n°12, p. 467–472 (cité page 356).

Mul00 MULDERS, Thom (2000). « On short multiplications and divisions ». In : Applicable Algebra in Engineering, Communication and Computing, vol. 11, n°1, p. 69–88 (cité page 54).

Mul04 — (2004). « Certified sparse linear system solving ». In : Journal of Symbolic Computation, vol. 38, n°5, p. 1343–1373 (cité page 193).

Mun73 MUNRO, I. (1973). « Problems related to matrix multiplication ». In : Proceedings Courant Institute Symposium on Computational Complexity, October 1971. Éd. par R. RUSTIN. New York : Algorithmics Press, p. 137–151 (cité page 180).

Mus71 MUSSER, David R. (1971). « Algorithms for polynomial factorization ». Thèse de doctorat. Univ. of Wisconsin : C.S. Department (cité page 342).

Mus75 — (1975). « Multivariate polynomial factorization ». In : Journal of the ACM, vol. 22, p. 291–308 (cité page 412).

MW96 MACINTYRE, Angus et A. J. WILKIE (1996). « On the decidability of the real exponential field ». In : Kreiseliana. A. K. Peters, p. 441–467 (cité page 30).
New40 NEWTON, Isaac (1740). La méthode des fluxions, et les suites infinies. Traduction française par G. Buffon du texte de 1671 de Newton. de Bure. url: http://www.gallica.fr (cité page 76).

NH09 NOVOCIN, Andy et Mark van HOEIJ (2009). « Factoring univariate polynomials over the rationals ». In : ACM Communications in Computer Algebra, vol. 42, n°3, p. 157-157 (cité page 397).

Nov08 NOVOCIN, Andrew (2008). « Factoring univariate polynomials over the rationals ». Thèse de doctorat. Department of Mathematics, Florida State University, Tallahassee (cité page 397).

NS05 NGUYÊN, Phong Q. et Damien STEHLÉ (2005). « Floating-point LLL revisited ». In : Proceedings of Advances in Cryptology, EUROCRYPT 2005 : 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Aarhus, Denmark, May 22-26, 2005. Éd. par Ronald CRAMER. Berlin, Heidelberg : Springer Berlin Heidelberg, p. 215-233 (cité page 370).

NS09 NGUYEN, Phong Q. et Damien STEHLÉ (2009). « An LLL algorithm with quadratic complexity ». In : SIAM Journal on Computing, vol. 39, n°3, p. 874-903 (cité page 370).

NSV11 NOVOCIN, Andrew, Damien STEHLÉ et Gilles VILLARD (2011). « An LLL-reduction algorithm with quasi-linear time complexity ». In : Proceedings of the Forty-third Annual ACM Symposium on Theory of Computing. STOC '11. Extended abstract. New York, NY, USA : ACM, p. 403-412 (cité pages 370, 397).

Nus80 NUSSBAUMER, Henri J. (1980). « Fast polynomial transform algorithms for digital convolution ». In : IEEE Transactions on Acoustics, Speech, and Signal Processing, vol. 28, n°2, p. 205-215 (cité page 53).

Nus81 — (1981). Fast Fourier transform and convolution algorithms. Vol. 2. Springer Series in Information Sciences. Springer-Verlag (cité page 52).

NW78 NIJENHUIS, Albert et Herbert S. WILF (1978). Combinatorial algorithms for computers and calculators. Academic Press (cité page 396).

Olv+10 OLVER, Frank W. J., Daniel W. LOZIER, Ronald F. BOISVERT et Charles W. CLARK, éds. (2010). NIST handbook of mathematical functions. U.S. Department of Commerce, National Institute of Standards and Technology, Washington, DC; Cambridge University Press, Cambridge (cité page 266).

Ore31 ORE, Oystein (1931). « Linear equations in non-commutative fields ». In : Annals of Mathematics, vol. 32, p. 463-477 (cité page 558).

Ore33 — (1933). « Theory of non-commutative polynomials ». In : Annals of Mathematics, vol. 34, n°3, p. 480-508 (cité page 558).

Ost54 OSTROWSKI, A. M. (1954). « On two problems in abstract algebra connected with Horner's rule ». In : Studies in mathematics and mechanics presented to Richard von Mises. NY : Academic Press Inc., p. 40-48 (cité page 107).

Pad92 PADÉ, H. (1892). « Sur la représentation approchée d'une fonction par des fractions rationnelles ». In : Annales scientifiques de l'É.N.S. vol. 9, p. 3-93 (cité page 154).

Pad94 — (1894). « Sur la généralisation des fractions continues algébriques ». In : Journal de mathématiques pures et appliquées, vol. 10, n°4, p. 291-330 (cité page 154).

Pan01 PAN, Victor Y. (2001). Structured matrices and polynomials. Unified superfast algorithms. Birkhäuser Boston Inc. (cité pages 13, 206).

Pan66 PAN, V. Ya. (1966). « Methods of computing values of polynomials ». In : Russian Mathematical Surveys, vol. 21, n°1, p. 105-136 (cité page 107).
Pan72 PAN, V. (1972). « Computation schemes for a product of matrices and for the inverse matrix ». In : Akademiya Nauk SSSR i Moskovskoe Matematicheskoe Obshchestvo. Uspekhi Matematicheskikh Nauk, vol. 27, n°5(167), p. 249–250 (cité page 183).

Pan78 PAN, V. Ya. (1978). « Strassen's algorithm is not optimal. Trilinear technique of aggregating, uniting and canceling for constructing fast algorithms for matrix operations ». In : SFCS '78. Washington, DC, USA : IEEE Computer Society, p. 166–176 (cité page 182).

Pan80 — (1980). « New fast algorithms for matrix operations ». In : SIAM Journal on Computing, vol. 9, n°2, p. 321–342 (cité page 182).

Pan81 — (1981). « New combinations of methods for the acceleration of matrix multiplication ». In : Computers & Mathematics with Applications. An International Journal, vol. 7, n°1, p. 73–125 (cité page 183).

Pan84a PAN, Victor (1984). « How can we speed up matrix multiplication? » In : SIAM Review, vol. 26, n°3, p. 393–415 (cité page 180).

Pan84b — (1984). How to multiply matrices faster. Vol. 179. Lecture Notes in Computer Science. Springer-Verlag (cité pages 13, 180).

Pan90 — (1990). « On computations with dense structured matrices ». In : Mathematics of Computation, vol. 55, n°191, p. 179–190 (cité page 206).

Pas87 PASZKOWSKI, Stefan (1987). « Recurrence relations in Padé–Hermite approximation ». In : Journal of Computational and Applied Mathematics, vol. 19, n°1, p. 99–107 (cité page 154).

Pat75 PATERSON, Michael S. (1975). « Complexity of monotone networks for Boolean matrix product ». In : Theoretical Computer Science, vol. 1, n°1, p. 13–20 (cité page 180).

Pet92 PETKOVŠEK, Marko (1992). « Hypergeometric solutions of linear recurrences with polynomial coefficients ». In : Journal of Symbolic Computation, vol. 14, n°2-3, p. 243–264 (cité page 542).

PFM74 PATERSON, M. S., M. J. FISCHER et A. R. MEYER (1974). « An improved overlap argument for on-line multiplication ». In : Complexity of computation. AMS, p. 97–111 (cité page 53).

Pic05 PICARD, Émile, éd. (1905). Œuvres de Charles Hermite. Gauthier-Villars (cité page 370).

Poo89 POORTEN, A. J. van der (1989). « Some facts that should be better known, especially about rational functions ». In : Number theory and applications. Proceedings of a Conference held at Banff, AB, 1988. Dordrecht : Kluwer, p. 497–528 (cité page 91).

Pro76 PROBERT, Robert L. (1976). « On the additive complexity of matrix multiplication ». In : SIAM Journal on Computing, vol. 5, n°2, p. 187–203 (cité page 182).

PS03 PUT, Marius van der et Michael F. SINGER (2003). Galois theory of linear differential equations. Vol. 328. Grundlehren der Mathematischen Wissenschaften. Springer-Verlag (cité page 558).

PS07 PERNET, Clément et Arne STORJOHANN (2007). « Faster algorithms for the characteristic polynomial ». In : ISSAC'07 : International Symposium on Symbolic and Algebraic Computation. Éd. par Dongming WANG. ACM Press, p. 307–314 (cité page 181).

PS12 PAUDERIS, Colton et Arne STORJOHANN (2012). « Deterministic unimodularity certification ». In : ISSAC 2012—Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation. ACM, New York, p. 281–288 (cité page 214).

PS73 PATERSON, M. S. et L. J. STOCKMEYER (1973). « On the number of nonscalar multiplications necessary to evaluate polynomials ». In : SIAM Journal on Computing, vol. 2, n°1, p. 60–66 (cité page 77, 181).
PS97 PUT, Marius van der et Michael F. SINGER (1997). Galois theory of difference equations. Vol. 1666. Lecture Notes in Mathematics. Springer-Verlag (cité page 558).

PSD70 PENFIELD Jr., P., R. SPENCE et S. DUINKER (1970). Tellegen's theorem and electrical networks. The M.I.T. Press, Cambridge, Mass.-London (cité page 231).

PW02 PAN, V. Y. et X. WANG (2002). « Acceleration of Euclidean algorithm and extensions ». In : ISSAC'02 : International Symposium on Symbolic and Algebraic Computation. Éd. par Teo MORA. Lille : ACM Press, p. 207-213 (cité page 136).

PW04 PAN, Victor Y. et Xinmao WANG (2004). « On rational number reconstruction and approximation ». In : SIAM Journal on Computing, vol. 33, n°2, p. 502-503 (cité page 153).

PWZ96 PETKOVŠEK, Marko, Herbert S. WILF et Doron ZEILBERGER (1996). A = B. A. K. Peters (cité pages 13, 541).

PZ00 PAN, Victor Y. et Ailong ZHENG (2000). « Superfast algorithms for Cauchy-like matrix computations and extensions ». In : Linear Algebra and its Applications, vol. 310, n°1-3, p. 83-108 (cité page 206).

Raz03 RAZ, Ran (2003). « On the complexity of matrix product ». In : SIAM Journal on Computing, vol. 32, n°5, p. 1356-1369 (cité page 182).

Ric68 RICHARDSON, Daniel (1968). « Some undecidable problems involving elementary functions of a real variable ». In : Journal of Symbolic Logic, vol. 33, n°4, p. 514-520 (cité page 30).

Ric69 — (1969). « Solution of the identity problem for integral exponential functions ». In : Zeitschrift fur mathematischen Logik und Grundlagen der Mathematik, vol. 15, p. 333-340 (cité page 30).

Ric97 — (1997). « How to recognize zero ». In : Journal of Symbolic Computation, vol. 24, n°6, p. 627-645 (cité page 30).

Rit86 RITZMANN, P. (1986). « A fast numerical algorithm for the composition of power series with complex coefficients ». In : Theoretical Computer Science, vol. 44, p. 1-16 (cité page 77).

Rob85 ROBBIANO, Lorenzo (1985). « Term orderings on the polynomial ring ». In : EURO-CAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings. Volume 2 : Research Contributions. Éd. par Bob F. CAVINESS. Vol. 204. Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg, p. 513-517 (cité page 434).

Rom84 ROMAN, Steven (1984). The umbral calculus. Vol. 111. Pure and Applied Mathematics. Academic Press Inc. [Harcourt Brace Jovanovich Publishers] (cité page 231).

Rón89 RÓNYAI, L. (1989). « Factoring polynomials modulo special primes ». In : Combinatorica. An International Journal on Combinatorics and the Theory of Computing, vol. 9, n°2, p. 199-206 (cité page 356).

Rón92 RÓNYAI, Lajos (1992). « Galois groups and factoring polynomials over finite fields ». In : SIAM Journal on Discrete Mathematics, vol. 5, n°3, p. 345-365 (cité page 356).

Rou01 ROURA, Salvador (2001). « Improved master theorems for divide-and-conquer recurrences ». In : Journal of the Association for Computing Machinery, vol. 48, n°2, p. 170-205 (cité page 30).

Rou99 ROUILLIER, Fabrice (1999). « Solving zero-dimensional systems through the rational univariate representation ». In : Applicable Algebra in Engineering, Communication and Computing, vol. 9, n°5, p. 433-461 (cité page 464).

RR90 RISLER, Jean-Jacques et Felice RONGA (1990). « Testing polynomials ». In : Journal of Symbolic Computation, vol. 10, n°1, p. 1-5 (cité page 523).
RSR69 RABINER, L. R., R. W. SCHAFER et C. M. RADER (1969). « The chirp z-transform algorithm and its application ». In : *Bell System Technical Journal*, vol. 48, p. 1249-1292 (cité page 107).

Rup86 RUPPERT, Wolfgang M. (1986). « Reduzibilität ebener Kurven ». In : *Journal für die reine und angewandte Mathematik*, vol. 369, p. 167–191 (cité page 412).

Rup99 — (1999). « Reducibility of polynomials $f(x,y)$ modulo $p$ ». In : *Journal of Number Theory*, vol. 77, n°1, p. 62–70 (cité page 412).

Sch00 SCHINZEL, Andrzej (2000). *Polynomials with special regard to reducibility*. Vol. 77. Encyclopedia of Mathematics and its Applications. Cambridge University Press (cité page 413).

Sch01 SCHOST, Éric (2001). « Sur la résolution des systèmes polynomiaux à paramètres ». Thèse de doctorat. Palaiseau, France : École polytechnique (cité page 522).

Sch03 SCHNORR, Claus Peter (2003). « Lattice reduction by random sampling and birthday methods ». In : *STACS 2003 : 20th Annual Symposium on Theoretical Aspects of Computer Science Berlin, Germany, February 27 – March 1, 2003 Proceedings*. Éd. par Helmut ALT et Michel HABIB. Berlin, Heidelberg : Springer Berlin Heidelberg, p. 145–156 (cité page 370).

Sch33 SCHULZ, G. (1933). « Iterative Berechnung der reziproken Matrix ». In : *Zeitschrift für angewandte Mathematik und Physik*, vol. 13, p. 57–59 (cité page 77).

Sch71 SCHÖNHAGE, A. (1971). « Schnelle Berechnung von Kettenbruchentwicklungen ». In : *Acta Informatica*, vol. 1, p. 139–144 (cité page 135).

Sch73 — (1972/73). « Unitäre Transformationen grosser Matrizen ». In : *Numerische Mathematik*, vol. 20, p. 409–417 (cité page 180).

Sch77 — (1976/77). « Schnelle Multiplikation von Polynomen über Körpern der Charakteristik 2 ». In : *Acta Informatica*, vol. 7, n°4, p. 395–398 (cité page 53).

Sch80a SCHREYER, Frank-Olaf (1980). « Die Berechnung Syzygien mit dem verallgemeinernten Weierstrasschen Divisionsatz ». Diplomarbeit. Hamburg (cité page 444).

Sch80b SCHWARTZ, J. T. (1980). « Fast probabilistic algorithms for verification of polynomial identities ». In : *Journal of the Association for Computing Machinery*, vol. 27, n°4, p. 701–717 (cité pages 136, 193).

Sch81 SCHÖNHAGE, A. (1981). « Partial and total matrix multiplication ». In : *SIAM Journal on Computing*, vol. 10, n°3, p. 434–455 (cité pages 181, 183).

Sch82 — (1982). *The fundamental theorem of algebra in terms of computational complexity*. Preliminary Report. 73 pages. Tübingen, Germany : Mathematisches Institut der Universität (cité page 77).

Sch84 SCHÖNHAGE, Arnold (1984). « Factorization of univariate integer polynomials by diophantine approximation and an improved basis reduction algorithm ». In : *Automata, Languages and Programming : 11th Colloquium Antwerp, Belgium, July 16–20, 1984*. Éd. par Jan PAREDAENS. Berlin, Heidelberg : Springer Berlin Heidelberg, p. 436–447 (cité pages 370, 396).

Sch85 SCHOOF, René (1985). « Elliptic curves over finite fields and the computation of square roots mod $p$ ». In : *Mathematics of Computation*, vol. 44, n°170, p. 483–494 (cité page 356).

Sch87 SCHNORR, C. P. (1987). « A hierarchy of polynomial time lattice basis reduction algorithms ». In : *Theoretical Computer Science*, vol. 53, n°2-3, p. 201–224 (cité page 370).

Sch88a — (1988). « A more efficient algorithm for lattice basis reduction ». In : *Journal of Algorithms*, vol. 9, n°1, p. 47–62 (cité page 370).

Sch88b SCHÖNHAGE, A. (1988). « Probabilistic computation of integer polynomial GCDs ». In : *Journal of Algorithms*, vol. 9, n°3, p. 365–371 (cité page 136).
SE94 SCHNORR, C. P. et M. EUCHNER (1994). « Lattice basis reduction : improved practical algorithms and solving subset sum problems ». In : *Mathematical Programming*, vol. 66, n°1, p. 181-199 (cité page 370).

Ser86 SERGEYEV, A. V. (1986). « A recursive algorithm for Padé-Hermite approximations ». In : *USSR Comput. Maths Math. Phys*, vol. 26, n°2, p. 17-22 (cité page 154).

Sha74 SHAFER, R. E. (1974). « On quadratic approximation ». In : *SIAM Journal on Numerical Analysis*, vol. 11, p. 447-460 (cité page 154).

Sha94 SHAFAREVICH, I. R. (1994). *Basic algebraic geometry. 1 Varieties in projective space*. 2ᵉ éd. Springer-Verlag (cité page 413).

Sho09 SHOUP, Victor (2009). *A computational introduction to number theory and algebra*. 2ᵉ éd. Cambridge University Press (cité pages 13, 356).

Sho90 — (1990). « On the deterministic complexity of factoring polynomials over finite fields ». In : *Information Processing Letters*, vol. 33, n°5, p. 261-267 (cité page 356).

Sho91a SHOUP, V. (1991). « A fast deterministic algorithm for factoring polynomials over finite fields of small characteristic ». In : *ISSAC'91 : International Symposium on Symbolic and Algebraic Computation*. ACM Press, p. 14-21 (cité pages 92, 230, 231).

Sho91b SHOUP, Victor (1991). « A fast deterministic algorithm for factoring polynomials over finite fields of small characteristic ». In : *ISSAC'91 : International Symposium on Symbolic and Algebraic Computation*. Éd. par S. M. WATT. ACM Press, p. 14-21 (cité page 356).

Sho94 — (1994). « Fast construction of irreducible polynomials over finite fields ». In : *Journal of Symbolic Computation*, vol. 17, n°5, p. 371-391 (cité page 231).

Sho95 SHOUP, V. (1995). « A new polynomial factorization algorithm and its implementation ». In : *Journal of Symbolic Computation*, vol. 20, n°4, p. 363-397 (cité page 231).

Sho99 — (1999). « Efficient computation of minimal polynomials in algebraic extensions of finite fields ». In : *ISSAC'99 : International Symposium on Symbolic and Algebraic Computation*. New York : ACM Press, p. 53-58 (cité pages 230, 231).

Sie72 SIEVEKING, M. (1972). « An algorithm for division of powerseries ». In : *Computing*, vol. 10, p. 153-156 (cité page 77).

Sin07 SINGER, M. F. (2007). « Introduction to the Galois theory of linear differential equations ». URL : https://arxiv.org/abs/0712.4124 (cité page 558).

Sin81 SINGER, Michael F. (1981). « Liouvillian solutions of n-th order homogeneous linear differential equations ». In : *American Journal of Mathematics*, vol. 103, n°4, p. 661-682 (cité page 321).

Sin86 — (1986). « Algebraic relations among solutions of linear differential equations ». In : *Transactions of the American Mathematical Society*, vol. 295, n°2, p. 753-763 (cité page 267).

Slo06 SLOANE, N. J. A. (2006). *The on-line encyclopedia of integer sequences*. URL : http://www.research.att.com/~njas/sequences/ (cité page 266).

Smi02 SMITH, Warren D. (2002). « Fast matrix multiplication formulae : report of the prospectors ». Preprint. http://www.math.temple.edu/~wds/prospector.pdf (cité pages 182, 183).

Smi62 SMITH, R. L. (1962). « Algorithm 116 : Complex division ». In : *Communications of the ACM*, n°5, p. 435 (cité page 180).

SP95 SLOANE, N. J. A. et Simon PLOUFFE (1995). *The encyclopedia of integer sequences*. Academic Press, Inc., San Diego, CA (cité page 266).

Spe78 SPEAR, D. (1978). « A constructive approach to commutative ring theory ». In : *Proceeding of the 1977 MACSYMA Users' Conference (NASA)*, p. 369-376 (cité page 444).
SS71 SCHÖNHAGE, A. et V. STRASSEN (1971). « Schnelle Multiplikation großer Zahlen ». In: *Computing*, vol. 7, p. 281–292 (cité page 53).

SS97 SHOUP, Victor et Roman SMOLENSKY (1996/97). « Lower bounds for polynomial evaluation and interpolation problems ». In: *Computational Complexity*, vol. 6, n°4, p. 301–311 (cité page 107).

SST00 SAITO, Mutsumi, Bernd STURMFELS et Nobuki TAKAYAMA (2000). *Gröbner deformations of hypergeometric differential equations*. Springer-Verlag (cité pages 13, 576).

Sta80 STANLEY, R. P. (1980). « Differentiably finite power series ». In: *European Journal of Combinatorics*, vol. 1, n°2, p. 175–188 (cité page 266).

Sta99 STANLEY, Richard P. (1999). *Enumerative combinatorics*. Vol. 2. Cambridge University Press (cité page 266).

Ste05 STEEL, Allan (2005). « Conquering inseparability : primary decomposition and multivariate factorization over algebraic function fields of positive characteristic ». In: *Journal of Symbolic Computation*, vol. 40, n°3, p. 1053–1075 (cité page 342).

Ste94 STERN, Jacques (1994). *Fondements mathématiques de l'informatique*. Ediscience international (cité pages 12, 30).

Sto01 STORJOHANN, Arne (2001). « Deterministic computation of the Frobenius form ». In: *FOCS'01 : IEEE Symposium on Foundations of Computer Science*. Extended abstract. Las Vegas, NV : IEEE Computer Society, p. 368–377 (cité page 181).

Sto02 — (2002). « High-order lifting ». In: *ISSAC'02 : International Symposium on Symbolic and Algebraic Computation*. Éd. par Teo MORA. ACM Press, p. 246–254 (cité page 214).

Sto03 — (2003). « High-order lifting and integrality certification ». In: *Journal of Symbolic Computation*, vol. 36, n°3-4, p. 613–648 (cité page 214).

Sto05 — (2005). « The shifted number system for fast linear algebra on integer matrices ». In: *Journal of Complexity*, vol. 21, n°4, p. 609–650 (cité page 214).

Str69 STRASSEN, V. (1969). « Gaussian elimination is not optimal ». In: *Numerische Mathematik*, vol. 13, p. 354–356 (cité pages 107, 180).

Str73 — (1972/73). « Die Berechnungskomplexität von elementarsymmetrischen Funktionen und von Interpolationskoeffizienten ». In: *Numerische Mathematik*, vol. 20, p. 238–251 (cité pages 91, 107, 230).

Str77 — (1976/77). « Einige Resultate über Berechnungskomplexität ». In: *Jahresbericht der Deutschen Mathematiker-Vereinigung*, vol. 78, n°1, p. 1–8 (cité page 286).

Str81 — (1981). « The computational complexity of continued fractions ». In: *SYMSAC'81*. Snowbird, Utah, United States : ACM, p. 51–67 (cité page 135).

Str83 — (1983). « The computational complexity of continued fractions ». In: *SIAM Journal on Computing*, vol. 12, n°1, p. 1–27 (cité pages 54, 135).

Str87 — (1987). « Relative bilinear complexity and matrix multiplication ». In: *Journal für die Reine und Angewandte Mathematik*, vol. 375/376, p. 406–443 (cité page 183).

Str90 STRASSEN, Volker (1990). « Algebraic complexity theory ». In: *Handbook of theoretical computer science*, Vol. A. Amsterdam : Elsevier, p. 633–672 (cité page 180).

SU97 SINGER, Michael F. et Felix ULMER (1997). « Linear differential equations and products of linear forms ». In: *Journal of Pure and Applied Algebra*, vol. 117/118, p. 549–563 (cité page 321).

SV05 STORJOHANN, Arne et Gilles VILLARD (2005). « Computing the rank and a small nullspace basis of a polynomial matrix ». In: *ISSAC'05 : International Symposium on Symbolic and Algebraic Computation*. New York : ACM Press, p. 309–316 (cité page 214).
SV55 SVOBODA, A. et M. VALACH (1955). « Operátorové obvody (Operational circuits) ». In: *Stroje na Zpracování Informací (Information Processing Machines)*, vol. 3, p. 247–295 (cité page 107).

Sýk77 SÝKORA, Ondrej (1977). « A fast non-commutative algorithm for matrix multiplication ». In: *Mathematical foundations of computer science (Proc. Sixth Sympos., Tatranská Lomnica, 1977)*. Vol. 53. Lecture Notes in Computer Science. Springer-Verlag, p. 504–512 (cité page 182).

Syl39 SYLVESTER, James Joseph (1839). « On rational derivation from equations of coexistence, that is to say, a new and extended theory of elimination, 1839–40 ». In: *The Collected mathematical papers of James Joseph Sylvester*. Baker, H. F., p. 40–53 (cité page 135).

Syl40 — (1840). « A method of determining by mere inspection the derivatives from two equations of any degree ». In: *Philosophical Magazine Series 3*, vol. 16, n°101, p. 132–135 (cité page 135).

SZ04 STEHLÉ, D. et P. ZIMMERMANN (2004). « A binary recursive GCD algorithm ». In: *ANTS-VI*. Vol. 3076. Lecture Notes in Computer Science. Springer-Verlag, p. 411–425 (cité page 136).

SZ94 SALVY, Bruno et Paul ZIMMERMANN (1994). « Gfun : a Maple package for the manipulation of generating and holonomic functions in one variable ». In: *ACM Transactions on Mathematical Software*, vol. 20, n°2, p. 163–177 (cité page 267).

Tak89 TAKAYAMA, Nobuki (1989). « Gröbner basis and the problem of contiguous relations ». In: *Japan Journal of Applied Mathematics*, vol. 6, n°1, p. 147–160 (cité page 558).

Tak92 — (1992). « An approach to the zero recognition problem by Buchberger algorithm ». In: *Journal of Symbolic Computation*, vol. 14, n°2-3, p. 265–282 (cité page 576).

Tan74 TANNERY, Jules (1874). « Propriétés des intégrales des équations différentielles linéaires à coefficients variables ». Thèse de doctorat ès sciences mathématiques. Faculté des Sciences de Paris. URL: http://gallica.bnf.fr (cité page 266).

TD00 TOURIGNY, Y. et Ph. G. DRAZIN (2000). « The asymptotic behaviour of algebraic approximants ». In: *The Royal Society of London. Proceedings. Series A. Mathematical, Physical and Engineering Sciences*, vol. 456, n°1997, p. 1117–1137 (cité page 154).

Tel52 TELLEGEN, B. (1952). « A general network theorem, with applications ». In: *Philips Research Reports*, vol. 7, p. 259–269 (cité page 231).

Tho02 THOMÉ, E. (2002). « Subquadratic computation of vector generating polynomials and improvement of the block Wiedemann algorithm ». In: *Journal of Symbolic Computation*, vol. 33, n°5, p. 757–775 (cité page 193).

TI61 TAKAHASI, H. et Y. ISHIBASHI (1961). « A new method for exact calculation by a digital computer ». In: *Information Processing in Japan*, p. 28–42 (cité page 107).

Too63 TOOM, A. L. (1963). « The complexity of a scheme of functional elements simulating the multiplication of integers ». In: *Doklady Akademii Nauk SSSR*, vol. 150, p. 496–498 (cité page 52).

Tra89 TRAVERSO, Carlo (1989). « Gröbner trace algorithms ». In: *Symbolic and Algebraic Computation : International Symposium ISSAC'88 Rome, Italy, July 4–8, 1988 Proceedings*. Éd. par P. GIANNI. Berlin, Heidelberg : Springer Berlin Heidelberg, p. 125–138 (cité page 445).

Tre64 TRENCH, William F. (1964). « An algorithm for the inversion of finite Toeplitz matrices ». In: *Journal of the Society for Industrial and Applied Mathematics*, vol. 12, p. 515–522 (cité page 206).
<table>
  <tr>
    <td>Tur06</td>
    <td>TURNER, William J. (2006). « A block Wiedemann rank algorithm ». In: <i>ISSAC'06: International Symposium on Symbolic and Algebraic Computation</i>. New York: ACM Press, p. 332–339 (cité page 193).</td>
  </tr>
  <tr>
    <td>Val79</td>
    <td>VALIANT, L. G. (1979). « The complexity of computing the permanent ». In: <i>Theoretical Computer Science</i>, vol. 8, n°2, p. 189–201 (cité page 184).</td>
  </tr>
  <tr>
    <td>Van92</td>
    <td>VAN LOAN, Charles (1992). <i>Computational frameworks for the fast Fourier transform</i>. Vol. 10. Frontiers in Applied Mathematics. SIAM (cité page 52).</td>
  </tr>
  <tr>
    <td>Vas12</td>
    <td>VASSILEVSKA WILLIAMS, Virginia (2012). « Multiplying matrices faster than Coppersmith-Winograd ». In: <i>STOC'12: ACM Symposium on Theory of Computing</i>. New York, NY: ACM, p. 887–898 (cité page 183).</td>
  </tr>
  <tr>
    <td>Vas14</td>
    <td>— (2014). « Multiplying matrices in O(n<sup>2.373</sup>) time ». http://theory.stanford.edu/~virgi/matrixmult-f.pdf (cité page 183).</td>
  </tr>
  <tr>
    <td>VB91a</td>
    <td>VAALER, Jeff et David W. BOYD (1991). « 6613, Mahler's inequality ». In: <i>The American Mathematical Monthly</i>, vol. 98, n°5, p. 451–452 (cité page 396).</td>
  </tr>
  <tr>
    <td>VB91b</td>
    <td>VAN BAREL, Marc et Adhemar BULTHEEL (1991). « The computation of nonperfect Padé-Hermite approximants ». In: <i>Numerical Algorithms</i>, vol. 1, n°3, p. 285–304 (cité page 154).</td>
  </tr>
  <tr>
    <td>VB92</td>
    <td>VAN BAREL, M. et A. BULTHEEL (1992). « A general module-theoretic framework for vector M-Padé and matrix rational interpolation ». In: <i>Numerical Algorithms</i>, vol. 3, n°1-4, p. 451–461 (cité page 154).</td>
  </tr>
  <tr>
    <td>Vil97</td>
    <td>VILLARD, G. (1997). « Further analysis of Coppersmith's block Wiedemann algorithm for the solution of sparse linear systems ». In: <i>ISSAC'97: International Symposium on Symbolic and Algebraic Computation</i>. Kihei, Maui, Hawaii, United States: ACM Press, p. 32–39 (cité page 193).</td>
  </tr>
  <tr>
    <td>Wak70</td>
    <td>WAKSMAN, Abraham (1970). « On Winograd's algorithm for inner products ». In: <i>IEEE Transactions on Computers</i>, vol. C-19, n°4, p. 360–361 (cité page 180).</td>
  </tr>
  <tr>
    <td>Wan78</td>
    <td>WANG, Paul S. (1978). « An improved multivariate polynomial factoring algorithm ». In: <i>Mathematics of Computation</i>, vol. 32, n°144, p. 1215–1231 (cité page 412).</td>
  </tr>
  <tr>
    <td>War79</td>
    <td>WARING, E. (1779). « Problems concerning interpolations ». In: <i>Philosophical Transactions of the Royal Society of London</i>, vol. 59, p. 59–67 (cité page 107).</td>
  </tr>
  <tr>
    <td>Wie86</td>
    <td>WIEDEMANN, D. (1986). « Solving sparse linear equations over finite fields ». In: <i>IEEE Transactions on Information Theory</i>, vol. IT-32, p. 54–62 (cité page 193, 231).</td>
  </tr>
  <tr>
    <td>Win67</td>
    <td>WINOGRAD, S. (1967). « On the number of multiplications required to compute certain functions ». In: <i>Proceedings of the National Academy of Sciences of the United States of America</i>, vol. 58, p. 1840–1842 (cité page 180).</td>
  </tr>
  <tr>
    <td>Win68</td>
    <td>— (1968). « A new algorithm for inner-product ». In: <i>IEEE Transactions on Computers</i>, vol. 17, p. 693–694 (cité page 180).</td>
  </tr>
  <tr>
    <td>Win71</td>
    <td>— (1971). « On multiplication of 2 × 2 matrices ». In: <i>Linear Algebra and Applications</i>, vol. 4, p. 381–388 (cité page 182).</td>
  </tr>
  <tr>
    <td>WP03</td>
    <td>WANG, Xinmao et Victor Y. PAN (2003). « Acceleration of Euclidean algorithm and rational number reconstruction ». In: <i>SIAM Journal on Computing</i>, vol. 32, n°2, p. 548–556 (cité page 153).</td>
  </tr>
  <tr>
    <td>WP06</td>
    <td>WEIMERSKIRCH, André et Christof PAAR (2006). « Generalizations of the Karatsuba algorithm for efficient implementations ». Cryptology ePrint Archive. URL: https://eprint.iacr.org/2006/224.pdf (cité page 53).</td>
  </tr>
  <tr>
    <td>WR75</td>
    <td>WANG, Paul S. et Linda Preiss ROTHSCHILD (1975). « Factoring multivariate polynomials over the integers ». In: <i>Mathematics of Computation</i>, vol. 29, p. 935–950 (cité page 412).</td>
  </tr>
</table>
WS79 WELCH, L. R. et R. A. SCHOLTZ (1979). « Continued fractions and Berlekamp's algorithm ». In : *IEEE Transactions on Information Theory*, vol. 25, n°1, p. 19-27 (cité page 153).

Yam00 YAMAMOTO, Tetsuro (2000). « Historical developments in convergence analysis for Newton's and Newton-like methods ». In : *Journal of Computational and Applied Mathematics*, vol. 124, n°1-2, p. 1-23 (cité page 76).

Yap00 YAP, Chee (2000). *Fundamental problems in algorithmic algebra*. Oxford University Press (cité pages 13, 136).

Yap11 — (2011). « A real elementary approach to the master recurrence and generalizations ». In : *Theory and applications of models of computation*. Vol. 6648. Lecture Notes in Computer Science. Tokyo, Japan : Springer-Verlag, p. 14-26 (cité page 30).

Ypm95 YPMA, Tjalling J. (1995). « Historical development of the Newton-Raphson method ». In : *SIAM Review*, vol. 37, n°4, p. 531-551 (cité page 76).

Yun76 YUN, David Y. Y. (1976). « On square-free decomposition algorithms ». In : *SYM-SAC'76 : ACM Symposium on Symbolic and Algebraic Computation*. Yorktown Heights, New York, United States : ACM, p. 26-35 (cité pages 136, 342).

Yun77 — (1977). « On the equivalence of polynomial GCD and squarefree factorization problems ». In : *MACSYMA Users' Conference*. NASA, Langley Res. Center, Washington D.C., United States, p. 65-70 (cité page 136).

Zas69 ZASSENHAUS, Hans (1969). « On Hensel factorization I ». In : *Journal of Number Theory*, vol. 1, n°1, p. 291-311 (cité pages 356, 396).

Ze190 ZEILBERGER, Doron (1990). « A holonomic systems approach to special functions identities ». In : *Journal of Computational and Applied Mathematics*, vol. 32, n°3, p. 321-368 (cité page 576).

Zie68 ZIERLER, N. (1968). « Linear recurring sequences and error-correcting codes ». In : *Error Correcting Codes (Proc. Sympos. Math. Res. Center, Madison, Wis., 1968)*. Wiley, p. 47-59 (cité page 153).

Zip79 ZIPPEL, Richard (1979). « Probabilistic algorithms for sparse polynomials ». In : *Symbolic and Algebraic Computation. Eurosam '79, An International Symposium on Symbolic and Algebraic Manipulation, Marseille, France, June 1979*. Vol. 72. Lecture Notes in Computer Science. Springer-Verlag, p. 216-226 (cité page 193).

Zip90 ZIPPEL, R. (1990). « Interpolating polynomials from their values ». In : *Journal of Symbolic Computation*, vol. 9, n°3, p. 375-403 (cité page 231).

Zip93 ZIPPEL, Richard (1993). *Effective polynomial computation*. Kluwer Academic Publishers (cité pages 13, 413).

ZLS15 ZHOU, Wei, George LABAHN et Arne STORJOHANN (2015). « A deterministic algorithm for inverting a polynomial matrix ». In : *Journal of Complexity*, vol. 31, n°2, p. 162-173 (cité page 214).

Źra10 ŹRAŁEK, Bartosz (2010). « Using partial smoothness of $p-1$ for factoring polynomials modulo $p$ ». In : *Mathematics of Computation*, vol. 79, p. 2353-2359 (cité page 356).
Liste des notations

N est l'ensemble des entiers naturels.

Z est l'ensemble des entiers relatifs.

Q est l'ensemble des nombres rationnels.

R est l'ensemble des nombres réels.

C est l'ensemble des nombres complexes.

Re z est la partie réelle du nombre complexe z.

M est une fonction de coût pour le produit des polynômes à une variable, voir page 50.

$M_Z$ est une fonction de coût pour le produit des entiers, voir page 51.

MM(n) est une fonction de coût pour le produit des matrices $n \times n$, voir page 163.

MM(n, d) est une fonction de coût pour le produit des matrices $n \times n$ à coefficients des polynômes de degrés au plus d, voir page 167.

$[x]$ est le plus grand entier inférieur ou égal au réel $x$.

$[x]$ est le plus petit entier supérieur ou égal au réel $x$.

$[x]$ est l'entier le plus proche du réel $x$ (par défaut, l'entier immédiatement inférieur si $x$ est un demi-entier).

$\|(v_1, \dots, v_n)\|_1 = |v_1| + \dots + |v_n|$ représente la norme 1 de $v$.

$\|(v_1, \dots, v_n)\|_2 = (|v_1|^2 + \dots + |v_n|^2)^{1/2}$ représente la norme 2 de $v$.

$\|(v_1, \dots, v_n)\|_{\infty} = \max(|v_1|, \dots, |v_n|)$ représente la norme infinie de $v$.
$(u | v)$ représente le produit scalaire entre deux vecteurs $u$ et $v$; pour des vecteurs donnés en coordonnées, $u = (u_1, \dots, u_n)$ et $v = (v_1, \dots, v_n)$, il s'agit de la somme $u_1v_1 + \dots + u_nv_n$.

$f(n) = O(g(n))$ signifie qu'il existe une constante $C$ telle que $|f(n)| \le C|g(n)|$ lorsque $n$ est suffisamment grand.

$f(n) = \tilde{O}(g(n))$ signifie qu'il existe un entier $k$ tel que $f(n) = O(g(n)\log^k(\max(|g(n)|, 2)))$.

$S(X) = O(X^n)$ signifie que $S$ est une série de valuation au moins $n$.

$\text{card}(E)$ est le cardinal de l'ensemble $E$.

$\text{disc}(F)$ est le discriminant du polynôme $F$, voir page 118.

$\text{ppcm}(F, G)$ est le plus petit commun multiple de $F$ et $G$.

$\text{pgcd}(F, G)$ est le plus grand commun diviseur de $F$ et $G$.

$\text{rem}(F, G)$ est le reste de la division euclidienne de $F$ par $G$.

$\text{Res}(F, G)$ est le résultant des polynômes $F$ et $G$, voir page 117.

$\text{Syl}(F, G)$ est la matrice de Sylvester des polynômes $F$ et $G$, voir page 116.

$\text{psc}(F)$ est la partie sans carré de $F$.

$\text{fsc}(F)$ est la factorisation sans carré de $F$.

$\text{fsep}(F)$ est la factorisation séparable de $F$.

$\text{firr}(F)$ est la factorisation irréductible de $F$.

$\text{val}(S)$ est la valuation de la série $S$.

$V_k(I)$ est la variété définie par l'idéal $I$ sur $k$.

$\text{I}(E)$ est l'idéal des polynômes s'annulant sur l'ensemble $E$.

$\exp_{<}(f)$ est l'exposant privilégié (de tête) du polynôme $f$ pour l'ordre $<$ sur les monômes.

$\text{mt}_{<}(f)$ est le monôme de tête du polynôme $f$ pour l'ordre $<$ sur les monômes.

$\text{ct}_{<}(f)$ est le coefficient de tête du polynôme $f$ pour l'ordre $<$ sur les monômes.

$\text{tt}_{<}(f)$ est le terme de tête du polynôme $f$ pour l'ordre $<$ sur les monômes.

$\text{lex}$ est l'ordre lexicographique, voir page 426.

$\text{grlex}$ est l'ordre lexicographique gradué, voir page 426.

$\text{tdeg}$ est l'ordre lexicographique renversé gradué, voir page 427.

$pF_q\left(\begin{smallmatrix} a_1, \dots, a_p \\ b_1, \dots, b_q \end{smallmatrix} \middle| x \right)$ est la série hypergéométrique généralisée.
Liste des figures et algorithmes

<table><tbody><tr><td>1.1</td><td>Appels récursifs d'un algorithme « diviser pour régner ».</td><td>26</td></tr><tr><td>1.2</td><td>Borne sur la complexité de l'algorithme de Karatsuba.</td><td>29</td></tr><tr><td>2.1</td><td>Multiplication de polynômes par l'algorithme de Karatsuba.</td><td>39</td></tr><tr><td>2.2</td><td>Multiplication de polynômes par transformée de Fourier discrète.</td><td>41</td></tr><tr><td>2.3</td><td>Transformée de Fourier rapide (FFT).</td><td>43</td></tr><tr><td>2.4</td><td>Algorithme de Schönhage-Strassen sur les polynômes.</td><td>47</td></tr><tr><td>3.1</td><td>Opérateur de Newton de R dans R.</td><td>58</td></tr><tr><td>3.2</td><td>Inverse de série par itération de Newton.</td><td>62</td></tr><tr><td>3.3</td><td>Résolution de Φ(X, Y) = 0 par itération de Newton.</td><td>65</td></tr><tr><td>3.4</td><td>Calcul des sommes de Newton à partir des coefficients.</td><td>67</td></tr><tr><td>3.5</td><td>Calcul des coefficients à partir des sommes de Newton.</td><td>67</td></tr><tr><td>3.6</td><td>Produit composé.</td><td>69</td></tr><tr><td>3.7</td><td>Somme composée.</td><td>69</td></tr><tr><td>3.8</td><td>Algorithme de composition de Brent-Kung.</td><td>74</td></tr><tr><td>4.1</td><td>Division euclidienne rapide.</td><td>83</td></tr><tr><td>4.2</td><td>Calcul du N-ième terme d'une srlcc.</td><td>87</td></tr><tr><td>4.3</td><td>Développement en série d'une fraction rationnelle.</td><td>89</td></tr><tr><td>5.1</td><td>Algorithme de Lagrange pour l'interpolation polynomiale.</td><td>99</td></tr><tr><td>5.2</td><td>Arbre des sous-produits.</td><td>100</td></tr><tr><td>5.3</td><td>Algorithme rapide pour le calcul de l'arbre des sous-produits.</td><td>100</td></tr><tr><td>5.4</td><td>Parcours descendant de l'arbre des sous-produits.</td><td>101</td></tr><tr><td>5.5</td><td>Algorithme rapide d'évaluation multipoint par division répétée.</td><td>102</td></tr><tr><td>5.6</td><td>Somme de fractions.</td><td>103</td></tr><tr><td>5.7</td><td>Algorithme d'interpolation rapide.</td><td>104</td></tr><tr><td>6.1</td><td>Algorithme d'Euclide.</td><td>113</td></tr></tbody></table>
<table>
  <tbody>
    <tr>
      <td>6.2</td>
      <td>Algorithme d'Euclide étendu.</td>
      <td>116</td>
    </tr>
    <tr>
      <td>6.3</td>
      <td>Le résultant calcule des projections.</td>
      <td>118</td>
    </tr>
    <tr>
      <td>6.4</td>
      <td>Courbes de l'Exemple 6.8.</td>
      <td>119</td>
    </tr>
    <tr>
      <td>6.5</td>
      <td>Courbes de l'Exemple 6.9.</td>
      <td>120</td>
    </tr>
    <tr>
      <td>6.6</td>
      <td>Algorithme des sous-résultants.</td>
      <td>128</td>
    </tr>
    <tr>
      <td>6.7</td>
      <td>Paramétrisation des solutions d'un système algébrique.</td>
      <td>129</td>
    </tr>
    <tr>
      <td>6.8</td>
      <td>Algorithme d'Euclide rapide via le demi-pgcd rapide.</td>
      <td>131</td>
    </tr>
    <tr>
      <td>6.9</td>
      <td>Algorithme du demi-pgcd (dpgcd) rapide.</td>
      <td>132</td>
    </tr>
    <tr>
      <td>7.1</td>
      <td>Algorithme de reconstruction rationnelle.</td>
      <td>142</td>
    </tr>
    <tr>
      <td>7.2</td>
      <td>Algorithme de Berlekamp-Massey.</td>
      <td>143</td>
    </tr>
    <tr>
      <td>7.3</td>
      <td>Algorithme de Derksen pour les approximants de Padé-Hermite.</td>
      <td>149</td>
    </tr>
    <tr>
      <td>8.1</td>
      <td>Algorithme de Strassen pour multiplier deux matrices.</td>
      <td>166</td>
    </tr>
    <tr>
      <td>8.2</td>
      <td>Algorithme de Strassen pour inverser une matrice.</td>
      <td>173</td>
    </tr>
    <tr>
      <td>8.3</td>
      <td>Calcul du polynôme caractéristique par l'algorithme de Keller-Gehrig.</td>
      <td>176</td>
    </tr>
    <tr>
      <td>9.1</td>
      <td>Algorithme de Wiedemann pour calculer le polynôme minimal.</td>
      <td>191</td>
    </tr>
    <tr>
      <td>10.1</td>
      <td>Algorithme de type Strassen pour inverser une matrice quasi-Toeplitz.</td>
      <td>204</td>
    </tr>
    <tr>
      <td>11.1</td>
      <td>Résolution de A(X)Y(X) = B(X).</td>
      <td>210</td>
    </tr>
    <tr>
      <td>11.2</td>
      <td>Développement de A<sup>-1</sup>B.</td>
      <td>211</td>
    </tr>
    <tr>
      <td>11.3</td>
      <td>Développement de A<sup>-1</sup>B tronqué.</td>
      <td>212</td>
    </tr>
    <tr>
      <td>11.4</td>
      <td>Développement de A<sup>-1</sup> — indices puissances de 2.</td>
      <td>213</td>
    </tr>
    <tr>
      <td>12.1</td>
      <td>Schéma de Horner et transposition de Tellegen.</td>
      <td>219</td>
    </tr>
    <tr>
      <td>12.2</td>
      <td>Contribution d'une arête au coût d'un graphe de calcul.</td>
      <td>221</td>
    </tr>
    <tr>
      <td>12.3</td>
      <td>« Dictionnaire de Tellegen » pour les polynômes à une variable.</td>
      <td>224</td>
    </tr>
    <tr>
      <td>12.4</td>
      <td>Produit direct et transposé à la Karatsuba, version DAG.</td>
      <td>226</td>
    </tr>
    <tr>
      <td>12.5</td>
      <td>Algorithme de Karatsuba et son transposé.</td>
      <td>227</td>
    </tr>
    <tr>
      <td>12.6</td>
      <td>Dualité entre deux classes d'algorithmes pour la DFT.</td>
      <td>228</td>
    </tr>
    <tr>
      <td>12.7</td>
      <td>Évaluation multipoint et sa transposée. Sommes de Newton pondérées.</td>
      <td>228</td>
    </tr>
    <tr>
      <td>12.8</td>
      <td>Transposition du calcul des sommes de Newton pondérées.</td>
      <td>229</td>
    </tr>
    <tr>
      <td>13.1</td>
      <td>Solution approchée de XY' + (pI - XA)Y = s.</td>
      <td>241</td>
    </tr>
    <tr>
      <td>13.2</td>
      <td>Solution approchée de Y' - AY = B.</td>
      <td>242</td>
    </tr>
    <tr>
      <td>13.3</td>
      <td>Résolution de Y' = A(X)Y, Y(0) = Y<sub>0</sub> par itération de Newton.</td>
      <td>243</td>
    </tr>
    <tr>
      <td>13.4</td>
      <td>Résolution approchée de Y' = AY.</td>
      <td>245</td>
    </tr>
    <tr>
      <td>15.1</td>
      <td>Pas de bébés, pas de géants pour les récurrences linéaires.</td>
      <td>274</td>
    </tr>
    <tr>
      <td>15.2</td>
      <td>Algorithme de scindage binaire.</td>
      <td>278</td>
    </tr>
    <tr>
      <td>15.3</td>
      <td>Calcul naïf pour les récurrences singulières.</td>
      <td>281</td>
    </tr>
    <tr>
      <td>15.4</td>
      <td>Calcul rapide pour les récurrences singulières homogènes.</td>
      <td>282</td>
    </tr>
    <tr>
      <td>15.5</td>
      <td>Calcul rapide pour les récurrences singulières inhomogènes.</td>
      <td>284</td>
    </tr>
    <tr>
      <td>16.1</td>
      <td>Résolution de récurrences homogènes singulières.</td>
      <td>291</td>
    </tr>
    <tr>
      <td>16.2</td>
      <td>Résolution de récurrences homogènes singulières.</td>
      <td>293</td>
    </tr>
    <tr>
      <td>16.3</td>
      <td>Calcul d'une base de solutions à support fini, cas régulier.</td>
      <td>295</td>
    </tr>
    <tr>
      <td>16.4</td>
      <td>Calcul d'une base de solutions à support fini, cas singulier.</td>
      <td>296</td>
    </tr>
    <tr>
      <td>16.5</td>
      <td>Solutions polynomiales dans la base binomiale.</td>
      <td>302</td>
    </tr>
    <tr>
      <td>16.6</td>
      <td>Algorithme d'Abramov pour les multiples du dénominateur.</td>
      <td>304</td>
    </tr>
    <tr>
      <td>16.7</td>
      <td>Solutions rationnelles de récurrences.</td>
      <td>309</td>
    </tr>
  </tbody>
</table>
<table>
  <tbody>
    <tr>
      <td>17.1</td>
      <td>Algorithme de Liouville pour les solutions rationnelles.</td>
      <td>316</td>
    </tr>
    <tr>
      <td>18.1</td>
      <td>Algorithme de Musser en caractéristique zéro.</td>
      <td>330</td>
    </tr>
    <tr>
      <td>18.2</td>
      <td>Algorithme de Yun en caractéristique zéro.</td>
      <td>330</td>
    </tr>
    <tr>
      <td>18.3</td>
      <td>Algorithme de Gianni et Trager.</td>
      <td>336</td>
    </tr>
    <tr>
      <td>18.4</td>
      <td>Algorithme rapide de fusion des factorisations séparables.</td>
      <td>338</td>
    </tr>
    <tr>
      <td>18.5</td>
      <td>Calcul de l'inverse de la fonction de déflation.</td>
      <td>341</td>
    </tr>
    <tr>
      <td>18.6</td>
      <td>Réduction de la factorisation au cas séparable.</td>
      <td>341</td>
    </tr>
    <tr>
      <td>19.1</td>
      <td>Algorithme déterministe de Berlekamp.</td>
      <td>349</td>
    </tr>
    <tr>
      <td>19.2</td>
      <td>Deuxième partie de l'algorithme probabiliste de Berlekamp.</td>
      <td>351</td>
    </tr>
    <tr>
      <td>19.3</td>
      <td>Algorithme probabiliste de Berlekamp.</td>
      <td>353</td>
    </tr>
    <tr>
      <td>19.4</td>
      <td>Algorithme de factorisation par degrés.</td>
      <td>354</td>
    </tr>
    <tr>
      <td>19.5</td>
      <td>Algorithme de factorisation en équi-degré.</td>
      <td>355</td>
    </tr>
    <tr>
      <td>20.1</td>
      <td>Réseau engendré par les vecteurs (6, 4) et (8, 4).</td>
      <td>360</td>
    </tr>
    <tr>
      <td>20.2</td>
      <td>Algorithme de réduction de réseau LLL.</td>
      <td>365</td>
    </tr>
    <tr>
      <td>21.1</td>
      <td>Factorisation sans carré dans Q[X].</td>
      <td>384</td>
    </tr>
    <tr>
      <td>21.2</td>
      <td>Remontée de Hensel simultanée.</td>
      <td>387</td>
    </tr>
    <tr>
      <td>21.3</td>
      <td>Méthode naïve de factorisation par remontée et recombinaison.</td>
      <td>388</td>
    </tr>
    <tr>
      <td>21.4</td>
      <td>Algorithme de factorisation de van Hoeij.</td>
      <td>395</td>
    </tr>
    <tr>
      <td>22.1</td>
      <td>Méthode naïve de factorisation par remontée et recombinaison.</td>
      <td>401</td>
    </tr>
    <tr>
      <td>22.2</td>
      <td>Algorithme rapide de factorisation à plusieurs variables.</td>
      <td>405</td>
    </tr>
    <tr>
      <td>23.1</td>
      <td>Le théorème d'Apollonius.</td>
      <td>420</td>
    </tr>
    <tr>
      <td>23.2</td>
      <td>Un exemple d'escalier dans N².</td>
      <td>429</td>
    </tr>
    <tr>
      <td>24.1</td>
      <td>Calcul d'une base standard par l'algorithme de Buchberger.</td>
      <td>440</td>
    </tr>
    <tr>
      <td>25.1</td>
      <td>Liens entre algèbre et géométrie.</td>
      <td>450</td>
    </tr>
    <tr>
      <td>25.2</td>
      <td>Intersection d'un cercle et d'une ellipse.</td>
      <td>452</td>
    </tr>
    <tr>
      <td>25.3</td>
      <td>Représentation par élément primitif d'une intersection.</td>
      <td>454</td>
    </tr>
    <tr>
      <td>25.4</td>
      <td>Les projections de l'hyperbole.</td>
      <td>461</td>
    </tr>
    <tr>
      <td>27.1</td>
      <td>Algorithme de mise en position de Noether.</td>
      <td>488</td>
    </tr>
    <tr>
      <td>28.1</td>
      <td>Intersection d'une sphère, d'un cylindre, et d'un plan.</td>
      <td>503</td>
    </tr>
    <tr>
      <td>28.2</td>
      <td>Les paramétrisations de (f₁, X₀ - 1, X₁ - 1/2, X₂) et (f₁, f₂, X₀ - 1, X₁ - 1/2).</td>
      <td>505</td>
    </tr>
    <tr>
      <td>28.3</td>
      <td>Calcul de la paramétrisation suivante.</td>
      <td>513</td>
    </tr>
    <tr>
      <td>28.4</td>
      <td>Calcul incrémental de paramétrisations.</td>
      <td>515</td>
    </tr>
    <tr>
      <td>28.5</td>
      <td>Remontée de Hensel d'une paramétrisation.</td>
      <td>518</td>
    </tr>
    <tr>
      <td>28.6</td>
      <td>Algorithme de résolution géométrique.</td>
      <td>519</td>
    </tr>
    <tr>
      <td>29.1</td>
      <td>Algorithme de Gosper pour la sommation hypergéométrique indéfinie.</td>
      <td>532</td>
    </tr>
    <tr>
      <td>29.2</td>
      <td>Algorithme de Zeilberger pour la sommation hypergéométrique définie.</td>
      <td>537</td>
    </tr>
    <tr>
      <td>29.3</td>
      <td>Algorithme de Petkovšek.</td>
      <td>540</td>
    </tr>
    <tr>
      <td>30.1</td>
      <td>Algèbres d'opérateurs linéaires.</td>
      <td>545</td>
    </tr>
    <tr>
      <td>30.2</td>
      <td>Règles de commutation pour les anneaux de polynômes tordus.</td>
      <td>545</td>
    </tr>
    <tr>
      <td>30.3</td>
      <td>Algorithme d'Euclide étendu dans un anneau de polynômes tordus.</td>
      <td>554</td>
    </tr>
  </tbody>
</table>
<table><tr><td>32.1</td><td>Algorithme de sommation/intégration ∂-finie indéfinie.</td><td>584</td></tr><tr><td>32.2</td><td>Algorithme de sommation/intégration ∂-finie définie.</td><td>585</td></tr></table>
Index des auteurs

A

<table><tr><td>AANDERAA, Stål O.</td><td>53</td></tr><tr><td>ABBOTT, John</td><td>396</td></tr><tr><td>ABDELJAOUED, Jounaidi</td><td>13, 180</td></tr><tr><td>ABEL, Niels Henrik</td><td>266</td></tr><tr><td>ABRAMOV, Sergei A.</td><td>310, 321, 541</td></tr><tr><td>ABRAMOWITZ, Milton</td><td>266</td></tr><tr><td>AGRAWAL, Manindra</td><td>92</td></tr><tr><td>AHO, Alfred V.</td><td>12, 30, 108, 619</td></tr><tr><td>AJTAI, Miklós</td><td>370</td></tr><tr><td>ALT, Helmut</td><td>180, 619</td></tr><tr><td>ANDERSON, Brian D. O.</td><td>206</td></tr><tr><td>ANTONIOU, Andreas</td><td>231</td></tr><tr><td>ARRONDO, Enrique</td><td>464</td></tr></table>

B

<table><tr><td>BAJAJ, Chanderjit</td><td>413</td></tr><tr><td>BAKER, Jr., George A.</td><td>153</td></tr><tr><td>BARDET, Magali</td><td>481</td></tr><tr><td>BARKATOU, Moulay A.</td><td>588</td></tr><tr><td>BAUR, Walter</td><td>180, 232</td></tr><tr><td>BECKERMANN, Bernhard</td><td>154</td></tr><tr><td>BECKER, Thomas</td><td>13, 434, 444</td></tr><tr><td>BECK, Matthias</td><td>30</td></tr><tr><td>BEELER, Michael</td><td>321</td></tr><tr><td>BELABAS, Karim</td><td>396, 413</td></tr></table>

<table><tr><td>BENDIX, Peter B.</td><td>435</td></tr><tr><td>BEN-OR, Michael</td><td>153, 231</td></tr><tr><td>BENTLEY, Jon Louis</td><td>30</td></tr><tr><td>BERKOVICH, Lev M.</td><td>558</td></tr><tr><td>BERKOWITZ, Stuart J.</td><td>181</td></tr><tr><td>BERLEKAMP, Elwyn R.</td><td>356</td></tr><tr><td>BERNARDIN, Laurent</td><td>412</td></tr><tr><td>BERNDT, Bruce C.</td><td>30</td></tr><tr><td>BERNSTEIN, Daniel J.</td><td>52, 77, 78, 231, 321</td></tr><tr><td>BERTHOMIEU, Jérémy</td><td>78</td></tr><tr><td>BÉZOUT, Étienne</td><td>135</td></tr><tr><td>BINI, Dario Andrea</td><td>13, 183</td></tr><tr><td>BITMEAD, Robert R.</td><td>206</td></tr><tr><td>BLÄSER, Markus</td><td>182</td></tr><tr><td>BLONDEL, Vincent D.</td><td>91</td></tr><tr><td>BLUESTEIN, Leo I.</td><td>107, 231</td></tr><tr><td>BODRATO, Marco</td><td>53</td></tr><tr><td>BOISVERT, Ronald F.</td><td>266</td></tr><tr><td>BOOLE, George</td><td>310</td></tr><tr><td>BORDEWIJK, Jan Lourens</td><td>231</td></tr><tr><td>BORODIN, Allan</td><td>91, 107, 181</td></tr><tr><td>BORWEIN, Jonathan M.</td><td>619</td></tr><tr><td>BORWEIN, Peter B.</td><td>286</td></tr><tr><td>BOSTAN, Alin</td><td>77, 78, 107, 108, 206, 230, 231, 247, 266, 267, 286, 287, 310, 413, 464, 558, 588, 619</td></tr><tr><td>BOYD, David W.</td><td>396</td></tr><tr><td>BRENT, Richard P.</td><td>77, 135, 153, 181, 206,</td></tr></table>
247, 322, 619

<table><tr><td>BRIGHAM, E. Oran</td><td>52</td></tr><tr><td>BRONSTEIN, Manuel</td><td>310, 321, 558</td></tr><tr><td>BROWN, D. J. Spencer</td><td>92</td></tr><tr><td>BROWN, W. S.</td><td>135</td></tr><tr><td>BSHOUTY, Nader H.</td><td>230, 231</td></tr><tr><td>BUCHBERGER, Bruno</td><td>444</td></tr><tr><td>BULTHEEL, Adhemar</td><td>154</td></tr><tr><td>BUNCH, James R.</td><td>180</td></tr><tr><td>BÜRGISSER, Peter</td><td>13, 53, 180, 181</td></tr><tr><td>BURRUS, C. Sidney</td><td>52</td></tr></table>

C

<table><tr><td>CABAY, Stanley</td><td>153, 154</td></tr><tr><td>CAMION, Paul</td><td>356</td></tr><tr><td>CANNY, John F.</td><td>231, 232, 413</td></tr><tr><td>CANTOR, David G.</td><td>53, 356</td></tr><tr><td>CAPOVANI, Milvio</td><td>183</td></tr><tr><td>CARDINAL, Jean-Paul</td><td>206</td></tr><tr><td>CARTER, John H.</td><td>214</td></tr><tr><td>CARTIER, Pierre</td><td>558</td></tr><tr><td>CENK, Murat</td><td>54</td></tr><tr><td>CERLIENCO, Luigi</td><td>91, 230</td></tr><tr><td>CHAN, O-Yeat</td><td>30</td></tr><tr><td>CHARDIN, Marc</td><td>558</td></tr><tr><td>CHENG, Unjeng</td><td>153</td></tr><tr><td>CHEN, William Y. C.</td><td>310</td></tr><tr><td>CHÈZE, Guillaume</td><td>413</td></tr><tr><td>CHOI, Dong Koo</td><td>153</td></tr><tr><td>CHRISTOL, Gilles</td><td>287</td></tr><tr><td>CHUDNOVSKY, David V.</td><td>286, 322</td></tr><tr><td>CHUDNOVSKY, Gregory V.</td><td>286, 322</td></tr><tr><td>CHU, Eleanor</td><td>231</td></tr><tr><td>CHUNG, Jaewook</td><td>53</td></tr><tr><td>CHYZAK, Frédéric</td><td>247, 266, 310, 558, 576, 588, 619</td></tr><tr><td>CLARK, Charles W.</td><td>266</td></tr><tr><td>CLAUSEN, Michael</td><td>13, 180</td></tr><tr><td>CLUZEAU, Thomas</td><td>310, 558</td></tr><tr><td>COHN, Henry</td><td>184</td></tr><tr><td>COLLART, Stéphane</td><td>444</td></tr><tr><td>COLLINS, George E.</td><td>135</td></tr><tr><td>COMTET, Louis</td><td>266</td></tr><tr><td>Cook, Stephen A.</td><td>52, 53</td></tr><tr><td>COOLEY, James W.</td><td>52</td></tr><tr><td>COPPERSMITH, Don</td><td>183, 193</td></tr><tr><td>CORLESS, Robert M.</td><td>231</td></tr><tr><td>CORMEN, Thomas H.</td><td>12, 30</td></tr><tr><td>COSTA, Edgar</td><td>286</td></tr></table>

<table><tr><td>Cox, David</td><td>13, 434, 444, 480</td></tr><tr><td>CZAPOR, Stephen R.</td><td>13, 135</td></tr></table>

D

<table><tr><td>DANILEVSKII, A. M.</td><td>181</td></tr><tr><td>DAVIS, Martin</td><td>30</td></tr><tr><td>DE, Anindya</td><td>53</td></tr><tr><td>DELLA DORA, J.</td><td>154</td></tr><tr><td>DEMAZURE, Michel</td><td>53, 481</td></tr><tr><td>DEMILLO, Richard A.</td><td>193</td></tr><tr><td>DERKSEN, Harm</td><td>153</td></tr><tr><td>DICRESCENZO, Claire</td><td>154</td></tr><tr><td>DIXON, John D.</td><td>153, 214</td></tr><tr><td>DONGARRA, Jack</td><td>52</td></tr><tr><td>DORNSTETTER, Jean-Louis</td><td>153</td></tr><tr><td>DRAZIN, Philip G.</td><td>154</td></tr><tr><td>DRMOTA, Michael</td><td>30</td></tr><tr><td>DUHAMEL, Pierre</td><td>52</td></tr><tr><td>DUINKER, Simon</td><td>231</td></tr><tr><td>DUMAS, Philippe</td><td>287</td></tr><tr><td>DURVYE, Clémence</td><td>500, 522, 523</td></tr></table>

E

<table><tr><td>EISENBUD, David</td><td>13, 434</td></tr><tr><td>EL KAHOUİ, M'hammed</td><td>135</td></tr><tr><td>ERDŐS, Paul</td><td>396</td></tr><tr><td>ERLINGSSON, Úlfar</td><td>370</td></tr><tr><td>EUCHNER, M.</td><td>370</td></tr><tr><td>EVDOKIMOV, Sergei</td><td>356</td></tr><tr><td>EVEREST, Graham</td><td>91</td></tr></table>

F

<table><tr><td>FAUGÈRE, Jean-Charles</td><td>444, 445, 481, 576</td></tr><tr><td>FETTWEIS, Alfred</td><td>231</td></tr><tr><td>FIDUCCIA, Charles M.</td><td>92, 107, 180, 231</td></tr><tr><td>FISCHER, Michael J.</td><td>53</td></tr><tr><td>FISCHER, Patrick C.</td><td>182</td></tr><tr><td>FITCHAS, Noaï</td><td>522</td></tr><tr><td>FLAJOLET, Philippe</td><td>77, 286, 356, 619</td></tr><tr><td>FRIGO, Matteo</td><td>52, 53</td></tr><tr><td>FRÖHLICH, Andreas</td><td>342</td></tr><tr><td>FÜRER, Martin</td><td>53</td></tr></table>

G

<table><tr><td>GAO, Shuhong</td><td>412, 413</td></tr><tr><td>GARNER, Harvey L.</td><td>107</td></tr><tr><td>GARRITY, Thomas</td><td>413</td></tr></table>
<table><tbody><tr><td>VON ZUR GATHEN, Joachim</td><td>13, 53, 135, 136, 231, 342, 356, 370, 412, 413, 481</td></tr><tr><td>GAUDRY, Pierrick</td><td>286, 619</td></tr><tr><td>GAUSS, Carl Friedrich</td><td>107</td></tr><tr><td>GEDDES, Keith O.</td><td>13, 135</td></tr><tr><td>GENTLEMAN, W. Morven</td><td>52</td></tr><tr><td>GEORGE, Alan</td><td>231</td></tr><tr><td>GERHARD, Jürgen</td><td>13, 53, 135, 136, 231, 342, 356, 370, 396, 413, 481</td></tr><tr><td>GIANNI, Patrizia</td><td>342, 444, 464, 576</td></tr><tr><td>GIESBRECHT, Mark</td><td>181, 193</td></tr><tr><td>GILBERT, Jean-Charles</td><td>231</td></tr><tr><td>GIORGI, Pascal</td><td>154, 214</td></tr><tr><td>GIOVINI, Alessandro</td><td>444</td></tr><tr><td>GIUSTI, Marc</td><td>481, 500, 522</td></tr><tr><td>GOHBERG, Israel C.</td><td>206</td></tr><tr><td>GOLUB, Gene H.</td><td>206</td></tr><tr><td>GOSPER, R. William</td><td>321, 541</td></tr><tr><td>GOURDON, Xavier</td><td>356</td></tr><tr><td>GRAGG, William B.</td><td>153</td></tr><tr><td>GRAVES-MORRIS, Peter</td><td>153</td></tr><tr><td>GRENET, Bruno</td><td>356</td></tr><tr><td>GRIGORIEV, Dima Yu.</td><td>558</td></tr><tr><td>GUPTA, Somit</td><td>214</td></tr><tr><td>GUSTAVSON, Fred G.</td><td>135, 153, 206</td></tr></tbody></table>

H

<table><tbody><tr><td>HÄGELE, Klemens</td><td>500, 522</td></tr><tr><td>HAKEN, Dorothea</td><td>30</td></tr><tr><td>HANROT, Guillaume</td><td>54, 78, 231, 232, 247</td></tr><tr><td>HARDY, Godfrey Harold</td><td>396</td></tr><tr><td>HARLEY, Rev. Robert</td><td>266</td></tr><tr><td>HARRIS, William A.</td><td>267</td></tr><tr><td>HARTER, Richard</td><td>181</td></tr><tr><td>HART, William</td><td>397</td></tr><tr><td>HARVEY, David</td><td>53, 78, 286</td></tr><tr><td>HASAN, M. Anwar</td><td>53</td></tr><tr><td>HEIDEMAN, Michael T.</td><td>52</td></tr><tr><td>HEINDEL, Lee E.</td><td>108</td></tr><tr><td>HEINTZ, Joos</td><td>413, 500, 522, 523</td></tr><tr><td>HENRICI, Peter</td><td></td></tr><tr><td>HERMITE, Charles</td><td>154</td></tr><tr><td>HILBERT, David</td><td>413</td></tr><tr><td>HIRONAKA, Heisuke</td><td>434</td></tr><tr><td>VAN HOEIJ, Mark</td><td>310, 396, 397, 413</td></tr><tr><td>VAN DER HOEVEN, Joris</td><td>53, 54, 77, 78, 247, 356, 619</td></tr><tr><td>HONG, Hoon</td><td>558</td></tr><tr><td>HOPCROFT, John E.</td><td>12, 30, 180, 182, 183, 231, 232</td></tr></tbody></table>

<table><tbody><tr><td>HOROWITZ, Ellis</td><td>107, 108</td></tr><tr><td>HUANG, Ming-Deh A.</td><td>356</td></tr><tr><td>HUSS-LEDERMAN, Steven</td><td>182</td></tr><tr><td>HUỲNH, DÙNG T.</td><td>481</td></tr></tbody></table>

I

<table><tbody><tr><td>INCE, E. Lindsay</td><td>321</td></tr><tr><td>ISHIBASHI, Y.</td><td>107</td></tr></tbody></table>

J

<table><tbody><tr><td>JACOBSON, Elaine M.</td><td>182</td></tr><tr><td>JA'JA', Joseph</td><td>181</td></tr><tr><td>JANET, Maurice</td><td>444</td></tr><tr><td>JEANNEROD, Claude-Pierre</td><td>154, 206, 214</td></tr><tr><td>JEFFREY, David J.</td><td>231</td></tr><tr><td>JERONIMO, Gabriela</td><td>523</td></tr><tr><td>JOHANSSON, Fredrik</td><td>77</td></tr><tr><td>JOHNSON, Don H.</td><td>52</td></tr><tr><td>JOHNSON, Jeremy R.</td><td>182</td></tr><tr><td>JOHNSON, Steven G.</td><td>52, 53</td></tr><tr><td>JOUX, Antoine</td><td>13, 434</td></tr></tbody></table>

K

<table><tbody><tr><td>KAILATH, Thomas</td><td>206</td></tr><tr><td>KALKBRENER, Michael</td><td>444</td></tr><tr><td>KALMAN, Rudolf E.</td><td>231</td></tr><tr><td>KALTOFEN, Erich</td><td>53, 193, 206, 214, 231, 232, 356, 370, 412, 413</td></tr><tr><td>KAMINSKI, Michael</td><td>54, 230, 231</td></tr><tr><td>KAPORIN, Igor</td><td>183</td></tr><tr><td>KARATSUBA, Anatolii</td><td>52</td></tr><tr><td>KARP, Alan H.</td><td>77</td></tr><tr><td>KARPINSKI, Marek</td><td>181</td></tr><tr><td>KAUERS, Manuel</td><td>541</td></tr><tr><td>KAYAL, Neeraj</td><td>92</td></tr><tr><td>KEDLAYA, Kiran S.</td><td>77, 356</td></tr><tr><td>KELLER-GEHRIG, Walter</td><td>180, 181, 619</td></tr><tr><td>KERR, Leslie Robert</td><td>182</td></tr><tr><td>KHAN, M. A. H.</td><td>154</td></tr><tr><td>KIRKPATRICK, David G.</td><td>230, 231</td></tr><tr><td>KLEINBERG, Robert</td><td>184</td></tr><tr><td>KLÜNERS, Jürgen</td><td>396, 413</td></tr><tr><td>KLYUYEV, V. V.</td><td>180</td></tr><tr><td>KNUTH, Donald E.</td><td>12, 135, 231, 232, 342, 435</td></tr><tr><td>KOÇ, Çetin Kaya</td><td>54</td></tr><tr><td>KOGGE, Peter M.</td><td>322</td></tr><tr><td>KOKOVKIN-SHCHERBAK, N. I.</td><td>180</td></tr><tr><td>KOUTSCHAN, Christoph</td><td>588</td></tr></tbody></table>
<table><tr><td>Koy, Henrik</td><td>370</td></tr><tr><td>KRICK, Teresa</td><td>522, 523</td></tr><tr><td>KRONECKER, Leopold</td><td>464, 522</td></tr><tr><td>KRYLOV, Aleksey Nikolaevich</td><td>181</td></tr><tr><td>KUNG, H. T.</td><td>77, 181, 247, 619</td></tr><tr><td>KUNG, Sun Yuan</td><td>206</td></tr><tr><td>KURUR, Piyush P.</td><td>53</td></tr></table>

L

<table><tr><td>LABAHN, George</td><td>13, 135, 154, 214</td></tr><tr><td>LADERMAN, Julian D.</td><td>182, 183</td></tr><tr><td>LAGRANGE, Joseph Louis, comte de</td><td>77, 370</td></tr><tr><td>LAKSHMAN, Yagati N.</td><td>231, 232, 481</td></tr><tr><td>LANDAU, Edmund</td><td>396</td></tr><tr><td>LANDSBERG, Joseph M.</td><td>182, 184</td></tr><tr><td>LANG, Serge</td><td>12, 135</td></tr><tr><td>LASCOUX, Alain</td><td>135</td></tr><tr><td>LAUDER, Alan G. B.</td><td>412</td></tr><tr><td>LAZARD, Daniel</td><td>444, 481, 576</td></tr><tr><td>LECERF, Grégoire</td><td>53, 78, 107, 230, 231, 266, 342, 356, 396, 412, 413, 500, 522, 523</td></tr><tr><td>VAN LEEUWEN, Jan</td><td>180</td></tr><tr><td>LE GALL, François</td><td>183</td></tr><tr><td>LEHMER, Derrick Henry</td><td>135</td></tr><tr><td>LEISERSON, Charles E.</td><td>12, 30</td></tr><tr><td>LEJEUNE-JALABERT, Monique</td><td>481</td></tr><tr><td>LENSTRA, Arjen K.</td><td>370, 396</td></tr><tr><td>LENSTRA, Jr., Hendrik Willem</td><td>370, 396</td></tr><tr><td>LE ROUX, Nicolas</td><td>619</td></tr><tr><td>LE VERRIER, Urbain</td><td>181</td></tr><tr><td>LE VEU, Georges</td><td>231</td></tr><tr><td>LEVINSON, Norman</td><td>206</td></tr><tr><td>LICKTEIG, Thomas</td><td>180, 181</td></tr><tr><td>LIOUVILLE, Joseph</td><td>321</td></tr><tr><td>LIPSHITZ, Leonard</td><td>266</td></tr><tr><td>LIPSON, J. D.</td><td>77</td></tr><tr><td>LIPTON, Richard J.</td><td>193</td></tr><tr><td>LITTLE, John</td><td>13, 434, 444, 480</td></tr><tr><td>L1, Ziming</td><td>558, 619</td></tr><tr><td>LOBO, Austin</td><td>193</td></tr><tr><td>LOMBARDI, Henri</td><td>13, 180</td></tr><tr><td>LOTTI, Grazia</td><td>183</td></tr><tr><td>LOTZ, Martin</td><td>53</td></tr><tr><td>LOVÁSZ, László Miklós</td><td>370, 396</td></tr><tr><td>LOZIER, Daniel W.</td><td>266</td></tr><tr><td>LÜCKING, Thomas</td><td>135</td></tr></table>

M

<table><tr><td>MACAULAY, Francis Sowerby</td><td>481</td></tr><tr><td>MACINTYRE, Angus</td><td>30</td></tr><tr><td>MAHLER, Kurt</td><td>154, 396</td></tr><tr><td>MAKAROV, O. M.</td><td>182</td></tr><tr><td>MALL, Daniel</td><td>444</td></tr><tr><td>MARCHAND, Joël</td><td>500</td></tr><tr><td>MARKSTEIN, Peter</td><td>77</td></tr><tr><td>MAROTTE, Francisque</td><td>321</td></tr><tr><td>MASSE, John</td><td>231</td></tr><tr><td>MASSEY, James L.</td><td>153</td></tr><tr><td>MATERA, Guillermo</td><td>522</td></tr><tr><td>MATIYASEVICH, Yuri V.</td><td>30</td></tr><tr><td>MAYR, Ernst W.</td><td>481</td></tr><tr><td>MCELIECE, Robert J.</td><td>153</td></tr><tr><td>MERSEREAU, Russell M.</td><td>107</td></tr><tr><td>MEYER, Albert R.</td><td>53, 481</td></tr><tr><td>MEZZAROBBA, Marc</td><td>322</td></tr><tr><td>MIGNOTTE, Maurice</td><td>91, 230, 356, 396</td></tr><tr><td>MILLER, Jeffrey Charles Percy</td><td>92</td></tr><tr><td>MILLS, William H.</td><td>153</td></tr><tr><td>MINES, Ray</td><td>342</td></tr><tr><td>MOENCK, Robert T.</td><td>54, 91, 107, 135, 214, 356</td></tr><tr><td>MÖLLER, H. Michael</td><td>444</td></tr><tr><td>MÖLLER, Niels</td><td>136</td></tr><tr><td>MONAGAN, Michael B.</td><td>412</td></tr><tr><td>MONTAÑA, José Luis</td><td>522</td></tr><tr><td>MONTGOMERY, Peter L.</td><td>53, 54, 91, 107</td></tr><tr><td>MORAIS, José Enrique</td><td>522</td></tr><tr><td>MORA, Teo</td><td>444, 464, 576</td></tr><tr><td>MORF, Martin</td><td>206</td></tr><tr><td>MORGENSTERN, Jacques</td><td>53, 522</td></tr><tr><td>MULDERS, Thom</td><td>54, 193</td></tr><tr><td>MULLEN, Gary L.</td><td>356, 413</td></tr><tr><td>MUNRO, J. Ian</td><td>107, 180, 181</td></tr><tr><td>MUSINSKI, J.</td><td>183, 231, 232</td></tr><tr><td>MUSSER, David R.</td><td>342, 370, 412</td></tr></table>

N

<table><tr><td>NEMES, István</td><td>558</td></tr><tr><td>NEWTON, Isaac</td><td>76</td></tr><tr><td>NGUYÊN, Phong Q.</td><td>370</td></tr><tr><td>NIESI, Gianfranco</td><td>444</td></tr><tr><td>NIJENHUIS, Albert</td><td>396</td></tr><tr><td>NOVOCIN, Andrew</td><td>370, 397</td></tr><tr><td>NUSSBAUMER, Henri J.</td><td>52, 53</td></tr></table>
O

<table><tr><td>OFMAN, Y.</td><td>52</td></tr><tr><td>OLLIVIER, François</td><td>247</td></tr><tr><td>OLSHEVSKY, Vadim</td><td>206</td></tr><tr><td>OLVER, Frank W. J.</td><td>266</td></tr><tr><td>ORE, Oystein</td><td>558</td></tr><tr><td>O'SHEA, Donal</td><td>13, 434, 444, 480</td></tr><tr><td>OSTROWSKI, Alexander M.</td><td>107</td></tr><tr><td>ÖZBUDAK, Ferruh</td><td>54</td></tr></table>

P

<table><tr><td>PAAR, Christof</td><td></td></tr><tr><td>PADÉ, Henri</td><td>154</td></tr><tr><td>DE PANAFIEU, Élie</td><td>588</td></tr><tr><td>PANARIO, Daniel</td><td>356, 413</td></tr><tr><td>PAN, Victor Y.</td><td>13, 107, 136, 153, 180, 182, 183, 206</td></tr><tr><td>PAPADIMITRIOU, Christos H.</td><td>231, 232</td></tr><tr><td>PARDO, Luis M.</td><td>522</td></tr><tr><td>PASZKOWSKI, Stefan</td><td>154</td></tr><tr><td>PATERSON, Michael S.</td><td>53, 77, 180, 181</td></tr><tr><td>PAUDERIS, Colton</td><td>214</td></tr><tr><td>PAULE, Peter</td><td>310, 541</td></tr><tr><td>PENFIELD, Jr., Paul</td><td>231</td></tr><tr><td>PERNET, Clément</td><td>181</td></tr><tr><td>PETKOVŠEK, Marko</td><td>13, 310, 321, 541, 542, 558</td></tr><tr><td>PICARD, Émile</td><td>370</td></tr><tr><td>PIRAS, Francesco</td><td>91, 230</td></tr><tr><td>PLOUFFE, Simon</td><td>266</td></tr><tr><td>VAN DER POORTEN, Alfred J.</td><td>91</td></tr><tr><td>PORTIER, Natacha</td><td>91</td></tr><tr><td>PROBERT, Robert L.</td><td>182</td></tr><tr><td>PUDDU, Susana</td><td>522, 523</td></tr><tr><td>VAN DER PUT, Marius</td><td>558</td></tr><tr><td>PUTNAM, Hilary</td><td>30</td></tr></table>

Q

<table><tr><td>QUERCIA, Michel</td><td>54, 231, 232, 247</td></tr></table>

R

<table><tr><td>RABINER, Lawrence R.</td><td>107</td></tr><tr><td>RADER, Charles M.</td><td>107</td></tr><tr><td>RAZ, Ran</td><td>182</td></tr><tr><td>RICHARDSON, Daniel</td><td>30</td></tr><tr><td>RICHMAN, Fred</td><td>342</td></tr><tr><td>RISLER, Jean-Jacques</td><td>523</td></tr></table>

<table><tr><td>RITZMANN, Peter</td><td>77</td></tr><tr><td>RIVEST, Ronald L.</td><td>12, 30</td></tr><tr><td>ROBBIANO, Lorenzo</td><td>434, 444</td></tr><tr><td>ROBINSON, Julia</td><td>30</td></tr><tr><td>ROMANI, Francesco</td><td>183</td></tr><tr><td>ROMAN, Steven</td><td>231</td></tr><tr><td>RONGA, Felice</td><td>523</td></tr><tr><td>RÓNYAI, Lajos</td><td>356</td></tr><tr><td>ROTHSCHILD, Linda Preiss</td><td>412</td></tr><tr><td>ROUILLIER, Fabrice</td><td>464</td></tr><tr><td>ROURA, Salvador</td><td>30</td></tr><tr><td>RUITENBURG, Wim</td><td>342</td></tr><tr><td>RUPPERT, Wolfgang M.</td><td>412</td></tr></table>

S

<table><tr><td>SAAD, Husam L.</td><td>310</td></tr><tr><td>SABIA, Juan</td><td>522, 523</td></tr><tr><td>SAHA, Chandan</td><td>53</td></tr><tr><td>SAITO, Mutsumi</td><td>13, 576</td></tr><tr><td>SALVY, Bruno</td><td>77, 78, 230, 231, 247, 266, 267, 286, 310, 322, 413, 464, 481, 500, 522, 558, 576, 619</td></tr><tr><td>SANDE, G.</td><td>52</td></tr><tr><td>SAPTHARISHI, Ramprasad</td><td>53</td></tr><tr><td>SARKAR, Soumojit</td><td>214</td></tr><tr><td>SAUNDERS, B. David</td><td>193</td></tr><tr><td>SAXE, James B.</td><td>30</td></tr><tr><td>SAXENA, Nitin</td><td>92</td></tr><tr><td>SCHAFER, Ronald W.</td><td>107</td></tr><tr><td>SCHINZEL, Andrzej</td><td>413</td></tr><tr><td>SCHNORR, Claus Peter</td><td>356, 370, 523</td></tr><tr><td>SCHOLTZ, Robert A.</td><td>153</td></tr><tr><td>SCHÖNHAGE, Arnold</td><td>53, 77, 135, 136, 180, 181, 183, 370, 396</td></tr><tr><td>SCHOOF, René</td><td>356</td></tr><tr><td>SCHOST, Éric</td><td>77, 78, 107, 108, 206, 230, 231, 247, 266, 286, 413, 464, 522, 619</td></tr><tr><td>SCHREYER, Frank-Olaf</td><td>444</td></tr><tr><td>SCHROEPPEL, Richard</td><td>321</td></tr><tr><td>SCHULZ, G.</td><td>77</td></tr><tr><td>SCHWARTZ, Jacob T.</td><td>136, 193</td></tr><tr><td>SEDOGLAVIC, Alexandre</td><td>247</td></tr><tr><td>SEMENCUL, A. A.</td><td>206</td></tr><tr><td>SERGEYEV, A. V.</td><td>154</td></tr><tr><td>SHAFAREVICH, Igor R.</td><td>413</td></tr><tr><td>SHAFER, Robert E.</td><td>154</td></tr><tr><td>SHA, Xuan He</td><td>183</td></tr><tr><td>SHEARER, James B.</td><td>153</td></tr></table>
<table>
  <tbody>
    <tr>
      <td>SHEPHERDSON, John C.</td>
      <td>342</td>
    </tr>
    <tr>
      <td>SHOKROLLAHI, M. Amin</td>
      <td>13, 180</td>
    </tr>
    <tr>
      <td>SHOUP, Victor</td>
      <td>13, 92, 107, 230, 231, 356, 396</td>
    </tr>
    <tr>
      <td>SHPARLINSKI, Igor</td>
      <td>91</td>
    </tr>
    <tr>
      <td>SIBUYA, Yasutaka</td>
      <td>267</td>
    </tr>
    <tr>
      <td>SIEVEKING, Malte</td>
      <td>77, 413</td>
    </tr>
    <tr>
      <td>SINGER, Michael F.</td>
      <td>267, 321, 558</td>
    </tr>
    <tr>
      <td>SLOANE, Neil J. A.</td>
      <td>266</td>
    </tr>
    <tr>
      <td>SMIETANSKI, Frédéric</td>
      <td>522</td>
    </tr>
    <tr>
      <td>SMITH, Robert L.</td>
      <td>180</td>
    </tr>
    <tr>
      <td>SMITH, Warren D.</td>
      <td>182, 183</td>
    </tr>
    <tr>
      <td>SMOLENSKY, Roman</td>
      <td>107</td>
    </tr>
    <tr>
      <td>SOMBRA, Martín</td>
      <td>523</td>
    </tr>
    <tr>
      <td>SPEAR, D.</td>
      <td>444</td>
    </tr>
    <tr>
      <td>SPENCE, R.</td>
      <td>231</td>
    </tr>
    <tr>
      <td>STANLEY, Richard P.</td>
      <td>266</td>
    </tr>
    <tr>
      <td>STEEL, Allan</td>
      <td>342, 396, 413</td>
    </tr>
    <tr>
      <td>STEGUN, Irene A.</td>
      <td>266</td>
    </tr>
    <tr>
      <td>STEHLÉ, Damien</td>
      <td>136, 370, 397</td>
    </tr>
    <tr>
      <td>STEIGLITZ, Kenneth</td>
      <td>108, 619</td>
    </tr>
    <tr>
      <td>STEIN, Clifford</td>
      <td>12, 30</td>
    </tr>
    <tr>
      <td>STERN, Jacques</td>
      <td>12, 30</td>
    </tr>
    <tr>
      <td>STeyaert, Jean-Marc</td>
      <td>356</td>
    </tr>
    <tr>
      <td>STOCKMEYER, Larry J.</td>
      <td>77, 181</td>
    </tr>
    <tr>
      <td>STONE, Harold S.</td>
      <td>322</td>
    </tr>
    <tr>
      <td>STORJOHANN, Arne</td>
      <td>181, 214</td>
    </tr>
    <tr>
      <td>STRASSEN, Volker</td>
      <td>53, 54, 91, 107, 135, 180, 183, 230, 232, 286</td>
    </tr>
    <tr>
      <td>STURMFELS, Bernd</td>
      <td>13, 576</td>
    </tr>
    <tr>
      <td>SULLIVAN, Francis</td>
      <td>52</td>
    </tr>
    <tr>
      <td>SVOBODA, Antonín</td>
      <td>107</td>
    </tr>
    <tr>
      <td>SÝKORA, Ondrej</td>
      <td>182</td>
    </tr>
    <tr>
      <td>SYLVESTER, James Joseph</td>
      <td>135</td>
    </tr>
    <tr>
      <td>SZEGEDY, Balázs</td>
      <td>184</td>
    </tr>
    <tr>
      <td>SZPANKOWSKI, Wojciech</td>
      <td>30</td>
    </tr>
  </tbody>
</table>

T

<table>
  <tbody>
    <tr>
      <td>TAKAHASI, H.</td>
      <td>107</td>
    </tr>
    <tr>
      <td>TAKAYAMA, Nobuki</td>
      <td>13, 558, 576</td>
    </tr>
    <tr>
      <td>TANNERY, Jules</td>
      <td>266</td>
    </tr>
    <tr>
      <td>TELLEGEN, Bernard D. H.</td>
      <td>231</td>
    </tr>
    <tr>
      <td>THOMÉ, Emmanuel</td>
      <td>193</td>
    </tr>
    <tr>
      <td>TIWARI, Prasoon</td>
      <td>153, 231</td>
    </tr>
    <tr>
      <td>TONG, D. M.</td>
      <td>619</td>
    </tr>
    <tr>
      <td>TOOM, André L.</td>
      <td>52</td>
    </tr>
    <tr>
      <td>TOURIGNY, Yves</td>
      <td>154</td>
    </tr>
    <tr>
      <td>TRAGER, Barry M.</td>
      <td>342</td>
    </tr>
    <tr>
      <td>TRAUB, Joseph Frederick</td>
      <td>135, 619</td>
    </tr>
  </tbody>
</table>

<table>
  <tbody>
    <tr>
      <td>TRAVERSO, Carlo</td>
      <td>444, 445</td>
    </tr>
    <tr>
      <td>TRENCH, William F.</td>
      <td>206</td>
    </tr>
    <tr>
      <td>TSAO, A.</td>
      <td>182</td>
    </tr>
    <tr>
      <td>Tsirulik, V. G.</td>
      <td>558</td>
    </tr>
    <tr>
      <td>TUKEY, John W.</td>
      <td>52</td>
    </tr>
    <tr>
      <td>TURNBULL, Thomas</td>
      <td>182</td>
    </tr>
    <tr>
      <td>TURNER, William J.</td>
      <td>193</td>
    </tr>
  </tbody>
</table>

U

<table>
  <tbody>
    <tr>
      <td>ULLMAN, Jeffrey D.</td>
      <td>12, 30, 108, 619</td>
    </tr>
    <tr>
      <td>ULMER, Felix</td>
      <td>321</td>
    </tr>
    <tr>
      <td>UMANS, Christopher</td>
      <td>77, 184, 356</td>
    </tr>
  </tbody>
</table>

V

<table>
  <tbody>
    <tr>
      <td>VAALER, Jeff</td>
      <td>396</td>
    </tr>
    <tr>
      <td>VALACH, Miroslav</td>
      <td>107</td>
    </tr>
    <tr>
      <td>VALERIOTE, Johnny</td>
      <td>214</td>
    </tr>
    <tr>
      <td>VALIANT, Leslie G.</td>
      <td>184</td>
    </tr>
    <tr>
      <td>VAN BAREL, Marc</td>
      <td>154</td>
    </tr>
    <tr>
      <td>VAN LOAN, Charles F.</td>
      <td>52, 206</td>
    </tr>
    <tr>
      <td>VASSILEVSKA WILLIAMS, Virginia</td>
      <td>183</td>
    </tr>
    <tr>
      <td>VETTERLI, Martin</td>
      <td>52</td>
    </tr>
    <tr>
      <td>VILLARD, Gilles</td>
      <td>154, 193, 214, 370, 397</td>
    </tr>
  </tbody>
</table>

W

<table>
  <tbody>
    <tr>
      <td>WAISSBEIN, Ariel</td>
      <td>522</td>
    </tr>
    <tr>
      <td>WAKSMAN, Abraham</td>
      <td>180</td>
    </tr>
    <tr>
      <td>WANG, Paul S.</td>
      <td>412</td>
    </tr>
    <tr>
      <td>WANG, Xinmao</td>
      <td>136, 153</td>
    </tr>
    <tr>
      <td>WARD, Thomas</td>
      <td>91</td>
    </tr>
    <tr>
      <td>WARING, Edward</td>
      <td>107</td>
    </tr>
    <tr>
      <td>WARNER, Daniel D.</td>
      <td>153</td>
    </tr>
    <tr>
      <td>WARREN, Joe</td>
      <td>413</td>
    </tr>
    <tr>
      <td>WEIL, Jacques-Arthur</td>
      <td></td>
    </tr>
    <tr>
      <td>WEIMERSKIRCH, André</td>
      <td></td>
    </tr>
    <tr>
      <td>WEISPFENNING, Volker</td>
      <td>13, 434, 444</td>
    </tr>
    <tr>
      <td>WELCH, Lloyd R.</td>
      <td>153</td>
    </tr>
    <tr>
      <td>WIEBELT, Bernd</td>
      <td>230, 413</td>
    </tr>
    <tr>
      <td>WIEDEMANN, Douglas H.</td>
      <td>193, 231</td>
    </tr>
    <tr>
      <td>WILF, Herbert S.</td>
      <td>13, 396, 541</td>
    </tr>
    <tr>
      <td>WILKIE, Alex J.</td>
      <td>30</td>
    </tr>
    <tr>
      <td>WINOGRAD, Shmuel</td>
      <td>180, 182, 183</td>
    </tr>
    <tr>
      <td>WRIGHT, Edward Maitland</td>
      <td>396</td>
    </tr>
  </tbody>
</table>

Y

<table>
  <tbody>
    <tr>
      <td>YAMAMOTO, Tetsuro</td>
      <td>76</td>
    </tr>
    <tr>
      <td>YAP, Chee</td>
      <td>13, 30, 136</td>
    </tr>
    <tr>
      <td>YPMA, Tjalling J.</td>
      <td>76</td>
    </tr>
    <tr>
      <td>YUN, David Y. Y.</td>
      <td>135, 136, 153, 206, 342</td>
    </tr>
  </tbody>
</table>
Z

<table><tr><td>ZAHARESCU, Alexandru</td><td>30</td></tr><tr><td>ZANONI, Alberto</td><td>53</td></tr><tr><td>ZASSENHAUS, Hans</td><td>356, 396</td></tr><tr><td>ZEILBERGER, Doron</td><td>13, 541, 576</td></tr><tr><td>ZHENG, Ailong</td><td>206</td></tr></table>

<table><tr><td>ZHOU, Wei</td><td>214</td></tr><tr><td>ZIERLER, Neal</td><td>153</td></tr><tr><td>ZIMMERMANN, Paul</td><td>54, 78, 136, 231, 232, 247, 267, 396</td></tr><tr><td>ZIPPEL, Richard</td><td>13, 193, 231, 413</td></tr><tr><td>ŹRAŁEK, Bartosz</td><td>356</td></tr></table>
<figure><img src="image_85.png" /></figure>
# Index

## A

Abramov
algorithme d'~ 303, 534, 583

accès direct
machine à ~ 23, 30, 220

action 545, 546, 573-576
acyclique

graphe orienté ~ 219, 225, 226, 506, 507, 520

addition
clôture par ~ 21, 263, 551, 554

admissible
ordre ~ 425, 428, 429, 431, 433, 437, 441, 444, 450, 468, 471, 564, 566, 572, 576, 585, 586

affine
coîne ~ 461, 462
espace ~ 421
Nullstellensatz ~ 447, 448-451, 460
variété ~ 421

AGM 262

Airy
fonction d'~ 529

algèbre
~ de Ore .. 561, 562-564, 566, 568, 573, 574, 576, 580, 582, 586, 587
~ rationnelle 580

algébrique
clôture ~ 20, 67, 68, 118, 122, 331, 450, 481

équation
reconstruction d'~ 151

équation ~ 162, 419-421, 500

fonction ~ 595, 610

nombre ~ 20, 124, 362

série ~ 114, 139, 151, 162, 260, 262, 266, 608, 609

algorithme 15, 16, 23, 30
~ d'Abramov 303, 534, 583

~ de Baur-Strassen 232

~ de Beckermann-Labahn 152

~ de Berkowitz 177, 181, 507, 519

~ de Berlekamp 348, 349, 350, 353, 356

~ de Berlekamp-Massey 139, 143, 153, 191

~ de Brent-Kung 73, 239

~ de Buchberger 439, 444, 564, 576, 586

~ de Cantor-Zassenhaus 353, 356

~ de Chyzak 585, 588

~ de Derksen 146

~ pour le déterminant 174

~ dual 217

~ d'Euclide 17, 18, 20, 91, 111, 112,
<table>
  <tbody>
    <tr>
      <td>113, 124, 139-144, 146, 151, 153, 265, 421, 425, 553, 554</td>
    </tr>
    <tr>
      <td>cofacteurs dans l'~~. 114, 115, 133, 134, 141, 143, 144, 554</td>
    </tr>
    <tr>
      <td>~~ rapide</td>
    </tr>
    <tr>
      <td>~~ pour la factorielle</td>
    </tr>
    <tr>
      <td>~~ de Gianni-Trager</td>
    </tr>
    <tr>
      <td>~~ de Gosper</td>
    </tr>
    <tr>
      <td>~~ d'intégration</td>
    </tr>
    <tr>
      <td>~~ de Karatsuba</td>
    </tr>
    <tr>
      <td>~~ de Keller-Gehrig</td>
    </tr>
    <tr>
      <td>~~ de Le Verrier</td>
    </tr>
    <tr>
      <td>~~ de Lecerf</td>
    </tr>
    <tr>
      <td>~~ linéaire</td>
    </tr>
    <tr>
      <td>~~ LLL</td>
    </tr>
    <tr>
      <td>~~ de Moenck-Carter</td>
    </tr>
    <tr>
      <td>~~ de Musser</td>
    </tr>
    <tr>
      <td>~~ de Noether</td>
    </tr>
    <tr>
      <td>~~ de Petkovšek</td>
    </tr>
    <tr>
      <td>~~ du pgcd</td>
    </tr>
    <tr>
      <td>~~ quasi-optimal</td>
    </tr>
    <tr>
      <td>~~ pour le radical d'un idéal</td>
    </tr>
    <tr>
      <td>~~ pour le rang</td>
    </tr>
    <tr>
      <td>~~ de Schönhage-Strassen</td>
    </tr>
    <tr>
      <td>~~ pour la sommation</td>
    </tr>
    <tr>
      <td>~~ de Storjohann</td>
    </tr>
    <tr>
      <td>~~ de Strassen</td>
    </tr>
    <tr>
      <td>~~ pour l'inversion de matrice</td>
    </tr>
    <tr>
      <td>~~ de Toom-Cook</td>
    </tr>
    <tr>
      <td>~~ de Waksman</td>
    </tr>
    <tr>
      <td>~~ de Wiedemann</td>
    </tr>
    <tr>
      <td>~~ de Winograd</td>
    </tr>
    <tr>
      <td>~~ de Yun</td>
    </tr>
    <tr>
      <td>~~ de Zeilberger</td>
    </tr>
    <tr>
      <td>anneau</td>
    </tr>
    <tr>
      <td>déterminant sur un</td>
    </tr>
    <tr>
      <td>~ à différence</td>
    </tr>
    <tr>
      <td>~ des entiers relatifs</td>
    </tr>
    <tr>
      <td>~ euclidien</td>
    </tr>
    <tr>
      <td>~ factoriel</td>
    </tr>
    <tr>
      <td>~ des matrices</td>
    </tr>
  </tbody>
</table>

<table>
  <tbody>
    <tr>
      <td>~ de polynômes</td>
      <td>18</td>
    </tr>
    <tr>
      <td>noethérianité de l'~~</td>
      <td>433</td>
    </tr>
    <tr>
      <td>~ de polynômes tordus</td>
      <td>544</td>
    </tr>
    <tr>
      <td>morphisme entre ~~s</td>
      <td>547</td>
    </tr>
    <tr>
      <td>~ des séries</td>
      <td>19</td>
    </tr>
    <tr>
      <td>métrique sur l'~~</td>
      <td>59</td>
    </tr>
    <tr>
      <td>annulateur</td>
      <td></td>
    </tr>
    <tr>
      <td>idéal</td>
      <td>422, 562</td>
    </tr>
    <tr>
      <td>polynôme</td>
      <td>151</td>
    </tr>
    <tr>
      <td>Apollonius</td>
      <td></td>
    </tr>
    <tr>
      <td>théorème d'~</td>
      <td>419, 450</td>
    </tr>
    <tr>
      <td>approximant</td>
      <td></td>
    </tr>
    <tr>
      <td>~ de Padé</td>
      <td>143, 160, 191, 200, 245</td>
    </tr>
    <tr>
      <td>~ de Padé-Hermite</td>
      <td>19, 145, 160, 200, 210, 264</td>
    </tr>
    <tr>
      <td>arbre des sous-produits</td>
      <td>100, 273, 274, 402, 405</td>
    </tr>
    <tr>
      <td>arithmético-géométrique</td>
      <td></td>
    </tr>
    <tr>
      <td>moyenne</td>
      <td>262</td>
    </tr>
    <tr>
      <td>arithmétique</td>
      <td></td>
    </tr>
    <tr>
      <td>complexité</td>
      <td>23</td>
    </tr>
    <tr>
      <td>progression</td>
      <td>89, 107</td>
    </tr>
    <tr>
      <td>suite</td>
      <td>89, 107</td>
    </tr>
    <tr>
      <td>extrapolation sur une</td>
      <td>592</td>
    </tr>
    <tr>
      <td>astuce de Rabinowitsch</td>
      <td>449</td>
    </tr>
  </tbody>
</table>

B

<table>
  <tbody>
    <tr>
      <td>bande</td>
      <td></td>
    </tr>
    <tr>
      <td>matrice de Toeplitz</td>
      <td>196</td>
    </tr>
    <tr>
      <td>base</td>
      <td>546</td>
    </tr>
    <tr>
      <td>~ binomiale</td>
      <td>299</td>
    </tr>
    <tr>
      <td>~ de Gröbner</td>
      <td>162, 421, 430, 434, 444, 561, 572, 610</td>
    </tr>
    <tr>
      <td>~ minimale</td>
      <td>442</td>
    </tr>
    <tr>
      <td>~ de module</td>
      <td>586</td>
    </tr>
    <tr>
      <td>~ non commutative</td>
      <td>564, 566, 568, 570, 573-576, 582-585</td>
    </tr>
    <tr>
      <td>~ LLL-réduite</td>
      <td>364, 392</td>
    </tr>
    <tr>
      <td>~ du logarithme</td>
      <td>30</td>
    </tr>
    <tr>
      <td>~ minimale</td>
      <td>146</td>
    </tr>
    <tr>
      <td>~ de projection</td>
      <td>463</td>
    </tr>
    <tr>
      <td>~ standard</td>
      <td>421, 430, 432-434, 437, 438-442, 469, 478, 481, 488, 500, 520</td>
    </tr>
    <tr>
      <td>~ minimale</td>
      <td>430, 442, 479</td>
    </tr>
    <tr>
      <td>Baur-Strassen</td>
      <td></td>
    </tr>
    <tr>
      <td>algorithme de</td>
      <td>232</td>
    </tr>
    <tr>
      <td>bébé</td>
      <td></td>
    </tr>
  </tbody>
</table>
pas de ~, pas de géants ... 72, 77, 107,
254, 272, 274, 286, 610

Beckermann-Labahn
algorithme de ~ .................... 152

Berkowitz
algorithme de ~ .... 177, 181, 507, 519

Berlekamp
algorithme de ~ .... 348, 349, 350, 353,
356

Berlekamp-Massey
algorithme de ~ .... 139, 143, 153, 191

Bessel
équation de ~ .................... 581
fonction de ~ ............ 529, 581, 610
série de ~ .................... 582

Bézout
borne de ~ .................... 480
relation de ~ .... 42, 114, 116, 131, 140,
141, 200

bilatérale
relation ~ .................... 439

bilinéaire
complexité ~ .................... 170

binaire
complexité ~ .................... 23
exponentiation ~ .... 85, 92, 115, 176
scindage ~ .... 254, 255, 261, 275, 276,
278, 285, 286, 318, 321, 322, 610

binôme
~ de Newton .................... 380

binomiale
base ~ .................... 299
série ~ .................... 549

bon ordre .................... 426, 430, 432

borne
~ de Bézout .................... 480
~ de Hadamard ............ 379, 385, 394
~ inférieure .................... 25
~ de Landau-Mignotte ............ 375
~ de Mahler .................... 377, 396

Brent-Kung
algorithme de ~ .................... 73, 239

Buchberger
algorithme de ~ .... 439, 444, 564, 576,
586
critères de ~ .................... 441

C

Cantor-Zassenhaus

algorithme de ~ .................... 353, 356

caractéristique
polynôme ~ .... 87, 89-91, 96, 143, 160,
161, 170, 172, 175, 176, 181, 192,
214, 245, 451, 452, 490, 491, 495,
496, 510, 599, 608
~~ d'une suite .................... 84

carré
c factorisation sans ~ .... 134, 136, 327,
328, 330, 331, 334, 337, 342, 379
partie sans ~ .... 327, 328, 329, 379, 451
polynôme sans ~ .................... 327

cas
~ moyen .................... 25
~ le pire .................... 25

Cauchy
interpolation de ~ .................... 139, 144
matrice de ~ ......... 197, 199-201, 218
matrice quasi-~ .................... 199, 206
produit de ~ .................... 59, 90
série de ~ .................... 59
suite de ~ .................... 59
théorème de ~ .................... 314, 317

Cauchy-Kovalevskaya
theorème de ~ .................... 569
centre
~ de projection .................... 463

changement d'ordre .................... 576
chinois
restes ~ .. 18, 96, 97, 107, 108, 230, 381

Chyzak
algorithme de ~ .................... 585, 588
clôture
~ par addition ............ 21, 263, 551, 554
~ algébrique .. 20, 67, 68, 118, 122, 331,
450, 481

Cockle
résolvante de ~ .................... 610

coefficient
~ s constants
~ équation différentielle à ~~ .... 245
factorisation de polynômes à ~ s dans un
corps fini .................... 345
factorisation de polynômes à ~s rationnels..................360, 373

~s polynomiaux
équation différentielle à ~~ ..... 244
système linéaire à ~~ ............ 209

~s séries
équation différentielle à coefficients
~~ .................................... 237
~ de tête .. 118, 127, 252, 255, 263, 298,
312, 314, 315, 319, 321, 373, 386,
399, 410, 428, 448, 468, 529, 541,
565, 567, 570

cofacteur
~s dans l'algorithmme d'Euclide .... 114,
115, 133, 134, 141, 143, 144, 554

commutatif
groupe ~..................................345

compagnon
matrice ~ .... 85, 86, 92, 160, 175, 181,
218, 240, 241, 599, 601

compatible
ordre ~ .................................... 425

complément
~ de Schur ............................ 173

complexité
~ arithmétique ...................... 23
~ bilinéaire .......................... 170
~ binaire .............................. 23
~ d'évaluation .................... 506, 507
mesure de ~ .......................... 23

composé
produit ~..................68, 69, 77, 90
somme ~e..................68, 69, 77, 256

composition
inverse ~nel......................71
~~ de série......................71
~ modulaire....................224, 354, 356
~ d'opérateurs..................543, 544
~ de séries .. 36, 57-59, 61, 64, 71, 72,
74, 77, 246, 264, 615

conditions initiales.....87, 89, 91, 240, 241, 246, 271, 317, 319, 529, 584
~ généralisées ............ 253, 280, 299

cône affine ...................... 461, 462
constant

équation différentielle à coefficients ~s
245

~es numériques
relation entre ~ .................... 361

contenu
~ d'un polynôme... 373, 389, 399, 402,
407

contiguïté
relation de ~... 555, 556, 557, 558, 610
conventions .......................... 29
base du logarithme.................. 30
lemme « diviser pour régner » .. 27, 30
théorème « diviser pour régner »... 28,
30

conversion
~ entre équation différentielle et de récurrence .................... 255

corps
~ à différence ...................... 530
~ fini .................................. 345
factorisation d'un polynôme à coefficients dans un ~~ ............ 345
~ des fractions ...................... 19

créatif
télescopage ~ .................... 535, 580

creuse
interpolation ~ .................... 152, 153
matrice ~ .. 19, 160, 162, 176, 183, 189,
190-192, 198, 445
représentation ~ .................... 18, 25

crible
~ d'Ératosthène....................380
critères
~ de Buchberger .................... 441

crypto-système
~ de Merkle-Hellman .............. 360

cyclique
vecteur ~..................................571

D

$\partial$-finie
clôture ~ .................... 571, 573, 576
fonction ~ ..... 564, 570, 573, 580, 582,
585

DAG..................219, 225, 226, 506, 507, 520
décalage .. 224, 535, 538, 544, 547, 550, 557,
561, 563, 564, 617

opérateur de ~ .................... 535, 609
~ rapide .......................... 591

décomposition
~ en éléments simples .... 68, 224, 407,
593

~ équidimensionelle .............. 522
<table>
  <tbody>
    <tr>
      <td>~ de Gosper-Petkovšek</td>
      <td>539</td>
    </tr>
    <tr>
      <td>~ LUP</td>
      <td>161, 171, 172-174</td>
    </tr>
    <tr>
      <td>découplage</td>
      <td>586, 587, 588</td>
    </tr>
    <tr>
      <td>définie</td>
      <td></td>
    </tr>
    <tr>
      <td>integration</td>
      <td>606</td>
    </tr>
    <tr>
      <td>somme</td>
      <td>528</td>
    </tr>
    <tr>
      <td>déflaté</td>
      <td></td>
    </tr>
    <tr>
      <td>polynôme</td>
      <td>333</td>
    </tr>
    <tr>
      <td>déflation</td>
      <td>333, 341, 523</td>
    </tr>
    <tr>
      <td>dégré</td>
      <td></td>
    </tr>
    <tr>
      <td>factorisation par ~s</td>
      <td>354</td>
    </tr>
    <tr>
      <td>~ d'inséparabilité</td>
      <td>332</td>
    </tr>
    <tr>
      <td>~ maximum</td>
      <td>468</td>
    </tr>
    <tr>
      <td>quasi-~</td>
      <td>491</td>
    </tr>
    <tr>
      <td>~ de séparabilité</td>
      <td>332</td>
    </tr>
    <tr>
      <td>~ d'une variété</td>
      <td>468</td>
    </tr>
    <tr>
      <td>~ d'un vecteur de polynômes</td>
      <td>146</td>
    </tr>
    <tr>
      <td>demi-pgcd</td>
      <td>130, 131-133, 135, 136</td>
    </tr>
    <tr>
      <td>dense</td>
      <td></td>
    </tr>
    <tr>
      <td>matrice</td>
      <td>159, 160, 190, 195, 206</td>
    </tr>
    <tr>
      <td>représentation</td>
      <td>25, 506</td>
    </tr>
    <tr>
      <td>dépendance</td>
      <td></td>
    </tr>
    <tr>
      <td>~ entière</td>
      <td>473, 474, 484</td>
    </tr>
    <tr>
      <td>déplacement</td>
      <td></td>
    </tr>
    <tr>
      <td>générateur de ~</td>
      <td>199, 200-205</td>
    </tr>
    <tr>
      <td>représentation par ~</td>
      <td>201-203, 205</td>
    </tr>
    <tr>
      <td>opérateur de ~</td>
      <td>198, 199, 200-205</td>
    </tr>
    <tr>
      <td>rang de ~</td>
      <td>160, 198, 199, 200, 201, 203-206</td>
    </tr>
    <tr>
      <td>dérivation</td>
      <td>61, 64, 71, 73, 254, 258, 561, 563, 564, 568, 573, 582, 586</td>
    </tr>
    <tr>
      <td>~ d'une série</td>
      <td>60</td>
    </tr>
    <tr>
      <td>Derksen</td>
      <td></td>
    </tr>
    <tr>
      <td>algorithme de ~</td>
      <td>146</td>
    </tr>
    <tr>
      <td>descendante</td>
      <td></td>
    </tr>
    <tr>
      <td>factorielle</td>
      <td>224</td>
    </tr>
    <tr>
      <td>descente</td>
      <td></td>
    </tr>
    <tr>
      <td>opérateur de ~</td>
      <td>556</td>
    </tr>
    <tr>
      <td>déterminant</td>
      <td>23, 96, 97, 117, 118, 124, 159-161, 171, 178, 180, 191, 195, 200, 214, 369, 379, 382, 485, 507</td>
    </tr>
    <tr>
      <td>algorithme pour le ~</td>
      <td>174</td>
    </tr>
    <tr>
      <td>~ sur un anneau</td>
      <td>135</td>
    </tr>
    <tr>
      <td>~ d'un réseau</td>
      <td>363</td>
    </tr>
    <tr>
      <td>deux variables</td>
      <td></td>
    </tr>
    <tr>
      <td>résultant en ~</td>
      <td>135</td>
    </tr>
    <tr>
      <td>développement</td>
      <td></td>
    </tr>
    <tr>
      <td>~ d'une fraction</td>
      <td>82, 87, 88, 210, 245</td>
    </tr>
  </tbody>
</table>

<table>
  <tbody>
    <tr>
      <td>~ de Taylor</td>
      <td>58, 61, 65, 70, 73, 87, 88, 214, 227, 260, 262, 529</td>
    </tr>
    <tr>
      <td>diagonale</td>
      <td></td>
    </tr>
    <tr>
      <td>~ de série</td>
      <td>604</td>
    </tr>
    <tr>
      <td>diamant</td>
      <td></td>
    </tr>
    <tr>
      <td>produit ~</td>
      <td>595</td>
    </tr>
    <tr>
      <td>Dickson</td>
      <td></td>
    </tr>
    <tr>
      <td>lemme de ~</td>
      <td>430, 431</td>
    </tr>
    <tr>
      <td>dictionnaire de Tellegen</td>
      <td>224</td>
    </tr>
    <tr>
      <td>différence</td>
      <td></td>
    </tr>
    <tr>
      <td>anneau à ~</td>
      <td>530</td>
    </tr>
    <tr>
      <td>corps à ~</td>
      <td>530</td>
    </tr>
    <tr>
      <td>~s finies</td>
      <td>297</td>
    </tr>
    <tr>
      <td>différentiel</td>
      <td></td>
    </tr>
    <tr>
      <td>équation ~le</td>
      <td>19-21, 240, 251, 253-255, 257, 259, 260, 265, 311, 319</td>
    </tr>
    <tr>
      <td>~ à coefficients constants</td>
      <td>245</td>
    </tr>
    <tr>
      <td>~ à coefficients polynomiaux</td>
      <td>244</td>
    </tr>
    <tr>
      <td>~ à coefficients séries</td>
      <td>237</td>
    </tr>
    <tr>
      <td>conversion entre ~ et récurrence</td>
      <td>255</td>
    </tr>
    <tr>
      <td>~ linéaire</td>
      <td>312</td>
    </tr>
    <tr>
      <td>~ d'ordre 1</td>
      <td>237</td>
    </tr>
    <tr>
      <td>finitude ~le</td>
      <td>258, 262, 264, 315</td>
    </tr>
    <tr>
      <td>opérateur ~</td>
      <td>139, 563, 597, 605, 606, 608, 619</td>
    </tr>
    <tr>
      <td>multiplication d'~s</td>
      <td>597</td>
    </tr>
    <tr>
      <td>reconstruction d'équation ~le</td>
      <td>151</td>
    </tr>
    <tr>
      <td>système d'équations ~les</td>
      <td>240</td>
    </tr>
    <tr>
      <td>différentiellement finie</td>
      <td></td>
    </tr>
    <tr>
      <td>clôture ~</td>
      <td>257</td>
    </tr>
    <tr>
      <td>fonction ~</td>
      <td>139, 162, 251, 252, 253, 257, 260-262, 264, 266, 315, 318, 547, 549, 551, 554, 555, 561, 570</td>
    </tr>
    <tr>
      <td>dimension</td>
      <td></td>
    </tr>
    <tr>
      <td>~ d'espace linéaire</td>
      <td>462</td>
    </tr>
    <tr>
      <td>idéal de zéro~nel</td>
      <td>450, 451, 456, 489, 490, 499</td>
    </tr>
    <tr>
      <td>idéal de ~ zéro</td>
      <td>450, 451, 456, 489, 490, 499</td>
    </tr>
    <tr>
      <td>~ lexicographique</td>
      <td></td>
    </tr>
    <tr>
      <td>~ inférieure</td>
      <td>471</td>
    </tr>
    <tr>
      <td>~ supérieure</td>
      <td>471</td>
    </tr>
    <tr>
      <td>~ de projection</td>
      <td>471</td>
    </tr>
    <tr>
      <td>~ de section</td>
      <td>471</td>
    </tr>
    <tr>
      <td>théorème de la ~</td>
      <td>471</td>
    </tr>
    <tr>
      <td>~ d'une variété</td>
      <td>468</td>
    </tr>
    <tr>
      <td>direct</td>
      <td></td>
    </tr>
    <tr>
      <td>machine à accès ~</td>
      <td>23, 30, 220</td>
    </tr>
  </tbody>
</table>
discriminant 118, 332, 386, 395
diviser pour régner ... 26, 30, 39, 42, 43, 49,
52, 75, 97, 99, 101-103, 106, 132,
133, 152, 164, 166, 172-174, 205,
212, 227, 232, 239, 241, 242, 244,
247, 275, 592, 616

lemme « ~ » 27, 30
théorème « ~ » 28, 30

diviseur de zéro 476, 496
division

~ d'entiers 84
~ euclidienne ... 17, 19, 63, 82-84, 111,
115, 123, 124, 130-132, 135, 223,
224, 226, 230, 421, 428, 431, 538,
549-551, 553, 554, 557, 584, 594,
611

~ rapide 82, 84, 225

~ faible 431, 432, 433, 440, 441

~ forte 431, 432, 433, 440, 441

~ de Hironaka 433, 434

~ de polynômes 82

~ de séries 63

transposition de la ~ 226

données

structure de ~
équation comme ~~ 19

doublement de précision 286, 320

dpgcd 130

dual

algorithme ~ 217

dyadique

nombre ~ 320

E

échelon

forme ~ .. 117, 160, 161, 170, 171, 172,
405, 406, 437

effective

structure ~ 16

élément

décomposition en ~s simples .. 68, 224,
407, 593

~ entier 473

fonctions symétriques ~aires 107

~ primitif 45, 46, 453
paramérisation par ~ ~ ~ 453, 456,
496, 498-500, 502, 515, 516

~ de torsion 492, 493, 495

élimination

~ de Gauss .. 96, 97, 161, 170, 171, 172,
174, 180, 352, 353, 421, 484, 571,
573, 586

ordre d'~ 427, 444

~ polynomialie .. 117, 118, 443, 459,
507

ensemble

~ questeur 521

entier 16

anneau des ~s relatifs 17

division d'~s 84

élément ~ 473

extension ~ère 473

factorisation d'~ 22, 25, 112, 162,
269, 274, 286

~ machine 16

~ modulaire 17

multiplication d'~s 36

racines ~ères 291, 293

reconstruction d'~ 144

~ relatif

anneau des ~s 17

entière

dépendance ~ 473, 474, 484

équation

~ algébrique 162, 419-421, 500

~ de Bessel 581

~ différentielle 19-21, 240, 251,
253-255, 257, 259, 260, 265, 311,
319

~ ~ à coefficients constants 245

~ ~ à coefficients polynomiaux .. 244

~ ~ à coefficients séries 237

conversion entre ~ ~ et récurrence
255

~ ~ linéaire 312

~ ~ d'ordre 1 237

système d'~ ~s 240

~ de Gauss 556, 569

~ inhomogène

solution rationnelle d'une ~ ~ 316

reconstruction d'~

~ ~ algébrique 151

~ ~ différentielle 151

~ comme structure de données 19

équidimensionelle

décomposition ~ 522

Ératosthène

crible d'~ 380

escalier ... 429, 430, 431, 433, 434, 440, 443,
450, 451, 472, 566, 572, 573, 584, 585

espace

~ affine .................................... 421

~ linéaire

dimension d'~~ .................... 462

~ projectif ............................ 462

somme d'~~s projectifs ............ 462

~ projectif .................................... 423

étendu

pgcd ~ .................... 114, 136, 140, 261

Euclidean

algorithme d'~ .... 17, 18, 20, 91, 111, 112, 113, 124, 139-144, 146, 151, 153, 265, 421, 425, 553, 554

cofacteurs dans l'~~.. 114, 115, 133, 134, 141, 143, 144, 554

~ rapide .................................... 130

anneau e~dien ............................ 111

division e~dienne ... 17, 19, 63, 82-84, 111, 115, 123, 124, 130-132, 135, 223, 224, 226, 230, 421, 428, 431, 538, 549-551, 553, 554, 557, 584, 594, 611

~ rapide .................... 82, 84, 225

Euler

opérateur d'~ .................... 256

évaluation

complexité d'~ .................... 506, 507

~ multipoint .. 36, 96, 97, 99, 101, 103, 104, 107, 197, 209, 223, 224, 227, 228, 273

~ d'un polynôme ..... 40, 89, 160, 167, 181, 218, 226, 229, 271, 600

~ sur une suite géométrique ........ 104

transposition de l'~ .................... 227

exacte

représentation ~ .................... 19

exponentiation

~ binaire .................... 85, 92, 115, 176

~ modulaire ............................ 86

exponentielle

~ de séries ............................ 66

exposant

~ privilégié ............ 428, 429, 430, 432

~ réalisable ..... 72, 124, 161, 163, 167, 169-172, 177, 209, 349, 370, 405, 438, 479

extension

~ entière ............................ 473

~ d'un idéal .................... 456, 457, 489

~ de récurrence .................... 224

transposition de l'~~ ............ 226

extrapolation ............................ 224

~ sur une suite arithmétique ...... 592

F

factoriel

anneau ~ .................... 111, 112

~ le descendante .................... 224

~ le ...... 22, 92, 96, 261, 273, 276, 310, 538, 550, 614, 619

algorithme pour la ~~ ...... 270, 275, 285

factorisation ............................ 112

~ par degrés ............................ 354

~ d'entier ... 22, 25, 112, 162, 269, 274, 286

~ en irréductibles .................... 327

~ d'un opérateur .................... 551, 558

~ d'un polynôme ... 19, 22, 23, 25, 111, 114, 162, 174

~ ~ à coefficients dans un corps fini 345

~ ~ à plusieurs variables ........ 399

~ ~ à coefficients rationnels ...... 360, 373

~ sans carré ... 134, 136, 327, 328, 330, 331, 334, 337, 342, 379

~ séparable ... 328, 334, 335, 337, 338, 341, 342

faible

division ~ ...... 431, 432, 433, 440, 441

FFT ...... 36, 37, 40, 46-48, 50, 52, 74, 78, 83, 88, 95, 96, 102, 107, 136, 197, 232, 271, 273, 276, 320

~ triadique ............................ 49

Fibonacci

nombre de ~ .... 19, 21, 81, 90-92, 253, 254, 259, 264

polynôme de ~ .................... 594

fini

corps ~ .................................... 345

factorisation d'un polynôme à coefficients dans un ~~ ............ 345

différences ~es .................... 297

support ~ ...... 289, 290, 295, 296, 299, 309, 315, 535, 547
solution à ~~ 295

finitude différentielle 258, 262, 264, 315

fonction

~ d'Airy 529

~ algébrique 595, 610

~ de Bessel 529, 581, 610

~ ∂-finie 564, 570, 573, 580, 582, 585

~ différentiellement finie 139, 162, 251, 252, 253, 257, 260-262, 264, 266, 315, 318, 547, 549, 551, 554, 555, 561, 570

~ de Hilbert 467, 468, 603

~ hypergéométrique 20, 555, 556

~ partielle 557

~ de multiplication 50

~ matricielle 163

~ s symétriques élémentaires 107

forme

~ échelon 117, 160, 161, 170, 171, 172, 405, 406, 437

formelle

série ~ 21, 51, 57, 58, 60, 62, 77, 83, 145, 151, 162, 312, 317, 566, 582

relation entre ~s 150

formule

~ de Karatsuba 29, 36, 37, 167

~ de Poisson 119, 122, 332, 377, 411

~ de Stirling 72, 270, 275, 480

forte

division ~ 431, 432, 433, 440, 441

Fourier

transformée de ~ 27, 36, 40, 41, 43, 44, 46, 50, 53, 136, 184, 260

~ rapide 42

fraction

corps des ~s 19

développement d'une ~ 82, 87, 88, 210, 245

interpolation de ~s 139, 144

~ rationnelle 18

reconstruction de ~ 143, 150, 245

somme de ~s 102-105

G

gauche

idéal à ~ 546

module à ~ 546

Gauss

élimination de ~ 96, 97, 161, 170, 171, 172, 174, 180, 352, 353, 421, 484, 571, 573, 586

équation de ~ 556, 569

lemme de ~ 373, 399, 407, 491, 494

Gauss-Lucas

théorème de ~ 377, 378

géant

pas de bébés, pas de ~ 72, 77, 107, 254, 272, 274, 286, 610

généralisée

conditions initiales ~s 253, 280, 299

série ~ 313, 315

série hypergéométrique ~ 529

générateur

~ de déplacement 199, 200-205
représentation par ~ 201-203, 205

génératrice

série ~ 69, 71, 87, 95, 152, 253-255, 260, 261, 318, 547, 548, 556

géométrique

moyenne arithmétique~ 262

progression ~ 97, 104, 105, 209, 596

résolution ~ 19, 501, 502, 506, 507, 519, 520

série ~ 27, 30, 277

suite ~ 97, 104, 105, 209, 596

évaluation sur une ~ 104

interpolation sur une ~ 104

germe

~ de suite 252, 547

Gianni-Trager

algorithme de ~ 335

GKZ

système hypergéométrique ~ 568

Gosper

algorithme de ~ 309, 528, 531, 532, 534, 536, 537, 541, 580, 581, 584, 585

Gosper-Petkovšek

décomposition de ~ 539

gradué

ordre ~ 426, 427, 572

ordre lexicographique ~ 426, 427

ordre lexicographique renversé ~ 427, 443, 478, 479, 575

Gram-Schmidt

orthogonalisation de ~ 362, 379, 393, 562
graphe

~ orienté acyclique......219, 225, 226,
506, 507, 520

~ de Tellegen .................... 220

grlex .................................... 426, 427

Gröbner

base de ~......162, 421, 430, 434, 444,
561, 572, 610

~ minimale .................... 442

~ de module .................... 586

~ non commutative ......564, 566,
568, 570, 573–576, 582–585

marche de ~......................444

groupe

~ commutatif .................... 345

~ multiplicatif .................... 345

ordre d’un ~ ...................... 345

H

Hadamard

borne de ~ .................... 379, 385, 394

produit de ~ .................... 90, 260

Hankel

matrice de ~ .. 160, 195, 196, 197, 198,
218, 232, 564, 600

Hensel

remontée de ~......114, 373, 386, 396,
399, 402, 411–413, 515, 518

Hermite

polynôme de ~ .................... 260, 580

réduction de ~ .................... 606

Hilbert

fonction de ~ .................... 467, 468, 603

point de ~ .................... 410, 413

polynôme de ~ .................... 468

série de ~ .................... 477

Hironaka

division de ~ .................... 433, 434

homogène

idéal ~ ............................ 424

quasi- ~ ............................ 491

récurrence linéaire ~ ............ 278

homogénéisé

idéal ~ ............................ 424

hypergéométrique .. 528, 529, 535, 541, 552,
580

fonction ~ .................... 20, 555, 556

~ partielle .................... 557

récurrence ~ .................... 144

série ~ .... 252, 262–264, 555, 557, 568

~ généralisée .................... 529

solution ~ ............................ 568

solution ~ ............................ 539–541

sommation ~ .. 527, 528, 531, 532, 534,
537, 580, 584

somme ~ .................... 531–533, 536, 537

suite ~ ... 253, 261, 271, 273, 527, 528,
529, 530, 533, 534, 551, 580, 608

système ~ GKZ .................... 568

terme proprement ~ .... 538, 541, 617,
618

terme ~ ............ 530, 531, 537, 538, 540

hyperplan

section par un ~ .................... 443

I

idéal .................................... 422

~ annulateur .................... 422, 562

~ de dimension zéro .... 450, 451, 456,
489, 490, 499

extension d'un ~ ............ 456, 457, 489

~ à gauche .................... 546

~ homogène .................... 424

~ homogénéisé .................... 424

~ de monômes .................... 428

~ radical .................... 447, 449, 457

radical d'un ~
  algorithme pour le ~ ~ ............ 616

~ transporteur .................... 613

~ zéro-dimensionnel .... 450, 451, 456,
489, 490, 499

implicitation .................... 121, 442

indéfinie

somme ~ .................... 528, 533, 541, 580

indiciel

polynôme ~ ... 298, 312, 313, 314, 315,
316, 582

inférieure

borne ~ ............................ 25

dimension lexicographique ~ ...... 471

infini

point à l'~ .................... 423

inhomogène

récurrence ~ .................... 272, 292, 295

solution rationnelle d'une équation ~
316

initial
<table><tbody><tr><td>conditions</td><td>es</td><td>87, 89, 91, 240, 241, 246, 271, 317, 319, 529, 584</td></tr><tr><td>généralisées</td><td></td><td>253, 280, 299</td></tr><tr><td>inséparabilité</td><td>degré d'</td><td>332</td></tr><tr><td>integration</td><td></td><td>162, 260, 289, 527, 528, 579-581, 584, 585, 612</td></tr><tr><td>algorithme d'</td><td></td><td>584, 585</td></tr><tr><td>définie</td><td></td><td>606</td></tr><tr><td>d'une série</td><td></td><td>61</td></tr><tr><td>interpolation</td><td></td><td>27, 29, 36, 38, 40, 44, 48, 82, 95-99, 102-107, 160, 164, 165, 209, 218, 223, 224, 229, 257, 275, 412, 597, 608</td></tr><tr><td>de Cauchy</td><td></td><td>139, 144</td></tr><tr><td>creuse</td><td></td><td>152, 153</td></tr><tr><td>fractions</td><td></td><td>139, 144</td></tr><tr><td>Lagrange</td><td></td><td>97-99, 107, 144, 374, 592</td></tr><tr><td>rapide</td><td></td><td>104, 257, 354, 600</td></tr><tr><td>sur une suite géométrique</td><td></td><td>104</td></tr><tr><td>transposition de l'</td><td></td><td>227</td></tr><tr><td>inverse</td><td></td><td></td></tr><tr><td>compositionnel</td><td></td><td>71</td></tr><tr><td>d'une série</td><td></td><td>71</td></tr><tr><td>modulaire</td><td></td><td>114</td></tr><tr><td>inversion</td><td></td><td></td></tr><tr><td>matrice</td><td></td><td>172</td></tr><tr><td>algorithme de Strassen pour l'</td><td></td><td>172</td></tr><tr><td>principe d'</td><td></td><td>198</td></tr><tr><td>d'une série</td><td></td><td>60, 61</td></tr><tr><td>d'une série de matrices</td><td></td><td>64</td></tr><tr><td>irréductible</td><td></td><td></td></tr><tr><td>factorisation en s</td><td></td><td>327</td></tr><tr><td>polynôme</td><td></td><td>115, 151, 333, 346, 347, 354, 356, 412</td></tr></tbody></table>

K

<table><tbody><tr><td>Karatsuba</td><td>algorithme de</td><td>35, 38, 40, 52-54, 225-227, 232, 273, 277</td></tr><tr><td>formule de</td><td></td><td>29, 36, 37, 167</td></tr><tr><td>Keller-Gehrig</td><td>algorithme de</td><td>232</td></tr><tr><td>Kronecker</td><td>paramétrisation sous forme de</td><td>458, 459, 508</td></tr><tr><td>Krylov</td><td></td><td></td></tr></tbody></table>

L

<table><tbody><tr><td>Lagrange</td><td>interpolation de</td><td>97-99, 107, 144, 374, 592</td></tr><tr><td>Laguerre</td><td>polynôme de</td><td>562, 563, 565-567</td></tr><tr><td>Landau-Mignotte</td><td>borne de</td><td>375</td></tr><tr><td>Laurent</td><td>polynôme de</td><td>545</td></tr><tr><td>série de</td><td></td><td>252</td></tr><tr><td>Le Verrier</td><td>algorithme de</td><td>177</td></tr><tr><td>Lecerf</td><td>algorithme de</td><td>337, 406</td></tr><tr><td>Legendre</td><td>polynôme de</td><td>246</td></tr><tr><td>lemme</td><td>de Dickson</td><td>430, 431</td></tr><tr><td>« diviser pour régner »</td><td></td><td>27, 30</td></tr><tr><td>de Gauss</td><td></td><td>373, 399, 407, 491, 494</td></tr><tr><td>lexicographique</td><td>dimension</td><td></td></tr><tr><td>inférieure</td><td></td><td>471</td></tr><tr><td>supérieure</td><td></td><td>471</td></tr><tr><td>ordre</td><td></td><td>426, 427, 432, 439, 441, 442, 471, 565, 566, 568, 572, 574, 582, 587, 603, 610</td></tr><tr><td>gradué</td><td></td><td>426, 427</td></tr><tr><td>renversé</td><td></td><td>427</td></tr><tr><td>renversé gradué</td><td></td><td>427, 443, 478, 479, 575</td></tr><tr><td>libre</td><td>module</td><td>146, 546</td></tr><tr><td>variable</td><td></td><td>484, 491</td></tr><tr><td>liée</td><td>variable</td><td>484, 493</td></tr><tr><td>linéaire</td><td>algorithme</td><td>217</td></tr><tr><td>équation différentielle</td><td></td><td>312</td></tr><tr><td>espace</td><td>dimension d'</td><td>462</td></tr><tr><td>projectif</td><td></td><td>462</td></tr><tr><td>somme d's projectifs</td><td></td><td>462</td></tr><tr><td>opérateur</td><td></td><td>543, 544, 562, 563</td></tr><tr><td>programme</td><td></td><td>221</td></tr></tbody></table>
<table><tbody><tr><td>récurrence</td><td>19, 21, 81, 84-87, 89, 90, 139, 143-145, 160, 244, 251, 253, 254, 257, 262, 269, 272-274, 285, 286, 289, 295-297, 315, 528, 535, 540, 541, 566, 592, 598, 608, 610</td></tr><tr><td>~ homogène</td><td>278</td></tr><tr><td>système</td><td></td></tr><tr><td>~ à coefficients polynomiaux</td><td>209</td></tr><tr><td>LLL</td><td>30, 359-363, 365, 368-370, 390, 392</td></tr><tr><td>algorithme</td><td>364</td></tr><tr><td>base</td><td>364, 392</td></tr><tr><td>logarithme</td><td></td></tr><tr><td>base du</td><td>30</td></tr><tr><td>~ d'une série</td><td>63</td></tr><tr><td>LUP</td><td>161, 172-174</td></tr><tr><td>décomposition</td><td>161, 171, 172-174</td></tr></tbody></table>

M

<table><tbody><tr><td>Macaulay</td><td></td></tr><tr><td>matrice de</td><td>437</td></tr><tr><td>quartique de</td><td>603</td></tr><tr><td>machine</td><td></td></tr><tr><td>~ à accès direct</td><td>23, 30, 220</td></tr><tr><td>entier</td><td>16</td></tr><tr><td>~ de Turing</td><td>16, 30</td></tr><tr><td>MAD</td><td>23, 30, 220</td></tr><tr><td>Mahler</td><td></td></tr><tr><td>borne de</td><td>377, 396</td></tr><tr><td>mesure de</td><td>375, 378, 391</td></tr><tr><td>majorante</td><td></td></tr><tr><td>série</td><td>317</td></tr><tr><td>marche</td><td></td></tr><tr><td>~ de Gröbner</td><td>444</td></tr><tr><td>matrice</td><td>18</td></tr><tr><td>anneau des</td><td>~ s</td></tr><tr><td>~ de Cauchy</td><td>197, 199-201, 218</td></tr><tr><td>~ compagnon</td><td>85, 86, 92, 160, 175, 181, 218, 240, 241, 599, 601</td></tr><tr><td>~ creuse</td><td>19, 160, 162, 176, 183, 189, 190-192, 198, 445</td></tr><tr><td>~ dense</td><td>159, 160, 190, 195, 206</td></tr><tr><td>fonction de multiplication</td><td>~ ielle</td><td>163</td></tr><tr><td>~ de Hankel</td><td>160, 195, 196, 197, 198, 218, 232, 564, 600</td></tr><tr><td>inversion de</td><td>172</td></tr><tr><td>algorithme de Strassen pour l'~~</td><td>172</td></tr><tr><td>inversion d'une série de</td><td>~ s</td><td>64</td></tr></tbody></table>

<table><tbody><tr><td>~ de Macaulay</td><td>437</td></tr><tr><td>~ de Newton</td><td>242</td></tr><tr><td>~ de permutation</td><td>171, 192</td></tr><tr><td>~ polynomiale</td><td>209</td></tr><tr><td>~ quasi-Cauchy</td><td>199, 206</td></tr><tr><td>~ quasi-Toeplitz</td><td>199, 200-202, 204-206</td></tr><tr><td>~ quasi-Vandermonde</td><td>199, 200, 206</td></tr><tr><td>série de</td><td>~ s</td></tr><tr><td>inversion d'une</td><td>64</td></tr><tr><td>~ structurée</td><td>160, 198</td></tr><tr><td>~ de Sylvester</td><td>116, 117, 118, 122-124, 128, 160, 195, 197, 199, 200, 379, 382, 485</td></tr><tr><td>~ de Toeplitz</td><td>195, 196, 197-203, 206, 218, 224, 225</td></tr><tr><td>~ bande</td><td>196</td></tr><tr><td>~ de transition</td><td>319</td></tr><tr><td>~ triangulaire</td><td>171</td></tr><tr><td>~ de Vandermonde</td><td>44, 160, 195, 197, 198-200, 206, 218, 224, 600</td></tr><tr><td>maximum</td><td></td></tr><tr><td>degré</td><td>468</td></tr><tr><td>médian</td><td></td></tr><tr><td>produit</td><td>63, 197, 224, 225, 228, 229, 231</td></tr><tr><td>Merkle-Hellman</td><td></td></tr><tr><td>crypto-système de</td><td>360</td></tr><tr><td>mesure</td><td></td></tr><tr><td>~ de complexité</td><td>23</td></tr><tr><td>~ de Mahler</td><td>375, 378, 391</td></tr><tr><td>métrique</td><td></td></tr><tr><td>~ sur l'anneau des séries</td><td>59</td></tr><tr><td>minimal</td><td></td></tr><tr><td>base</td><td>146</td></tr><tr><td>base de Gröbner</td><td>442</td></tr><tr><td>base standard</td><td>430, 442, 479</td></tr><tr><td>polynôme</td><td>82, 87, 139, 143, 160, 175, 181, 190, 191, 192, 362, 451, 452, 490, 491, 494-496, 510</td></tr><tr><td>~ d'une suite</td><td>84</td></tr><tr><td>modulaire</td><td></td></tr><tr><td>composition</td><td>224, 354, 356</td></tr><tr><td>entier</td><td>17</td></tr><tr><td>exponentiation</td><td>86</td></tr><tr><td>inverse</td><td>114</td></tr><tr><td>module</td><td>545</td></tr><tr><td>base de Gröbner de</td><td>586</td></tr><tr><td>~ à gauche</td><td>546</td></tr><tr><td>~ libre</td><td>146, 546</td></tr></tbody></table>
<table>
  <tbody>
    <tr>
      <td>~s multiples</td>
      <td>97</td>
    </tr>
    <tr>
      <td>~ quotient</td>
      <td>562, 566</td>
    </tr>
    <tr>
      <td>rang d'un</td>
      <td>546</td>
    </tr>
    <tr>
      <td>~ des relations</td>
      <td>438</td>
    </tr>
    <tr>
      <td>~ des syzygies</td>
      <td>438</td>
    </tr>
    <tr>
      <td>Moenck-Carter</td>
      <td></td>
    </tr>
    <tr>
      <td>algorithme de</td>
      <td>210</td>
    </tr>
    <tr>
      <td>moment</td>
      <td>608</td>
    </tr>
    <tr>
      <td>monoïde</td>
      <td>425, 545, 564</td>
    </tr>
    <tr>
      <td>~ des monômes</td>
      <td></td>
    </tr>
    <tr>
      <td>noethérianité du</td>
      <td>429</td>
    </tr>
    <tr>
      <td>monôme</td>
      <td></td>
    </tr>
    <tr>
      <td>idéal de ~s</td>
      <td>428</td>
    </tr>
    <tr>
      <td>~ de tête</td>
      <td>428, 433, 438, 440-444, 564-566, 568, 575, 586, 587</td>
    </tr>
    <tr>
      <td>montée</td>
      <td></td>
    </tr>
    <tr>
      <td>opérateur de</td>
      <td>556</td>
    </tr>
    <tr>
      <td>morphisme</td>
      <td></td>
    </tr>
    <tr>
      <td>~ entre anneaux de polynômes tordus</td>
      <td>547</td>
    </tr>
    <tr>
      <td>moyen</td>
      <td></td>
    </tr>
    <tr>
      <td>cas</td>
      <td>25</td>
    </tr>
    <tr>
      <td>moyenne</td>
      <td></td>
    </tr>
    <tr>
      <td>~ arithmético-géométrique</td>
      <td>262</td>
    </tr>
    <tr>
      <td>multiple</td>
      <td></td>
    </tr>
    <tr>
      <td>modules ~s</td>
      <td>97</td>
    </tr>
    <tr>
      <td>multiplicatif</td>
      <td></td>
    </tr>
    <tr>
      <td>groupe</td>
      <td>345</td>
    </tr>
    <tr>
      <td>multiplication</td>
      <td></td>
    </tr>
    <tr>
      <td>clôture par</td>
      <td>554</td>
    </tr>
    <tr>
      <td>~ d'entiers</td>
      <td>36</td>
    </tr>
    <tr>
      <td>fonction de</td>
      <td>50</td>
    </tr>
    <tr>
      <td>~ matricielle</td>
      <td>163</td>
    </tr>
    <tr>
      <td>~ d'opérateurs différentiels</td>
      <td>597</td>
    </tr>
    <tr>
      <td>~ de polynômes</td>
      <td>36, 596</td>
    </tr>
    <tr>
      <td>~ scalaire</td>
      <td>546</td>
    </tr>
    <tr>
      <td>multiplicité</td>
      <td>68, 112, 285, 315, 327, 331-337, 381, 529, 595, 616</td>
    </tr>
    <tr>
      <td>multipoint</td>
      <td></td>
    </tr>
    <tr>
      <td>évaluation</td>
      <td>36, 96, 97, 99, 101, 103, 104, 107, 197, 209, 223, 224, 227, 228, 273</td>
    </tr>
    <tr>
      <td>Musser</td>
      <td></td>
    </tr>
    <tr>
      <td>algorithme de</td>
      <td>329, 330, 331, 335, 336, 342</td>
    </tr>
  </tbody>
</table>

N

<table>
  <tbody>
    <tr>
      <td>N-ième terme</td>
      <td></td>
    </tr>
    <tr>
      <td>~ d'une série</td>
      <td>72</td>
    </tr>
  </tbody>
</table>

Newton

<table>
  <tbody>
    <tr>
      <td>binôme de</td>
      <td>380</td>
    </tr>
    <tr>
      <td>matrice de</td>
      <td>242</td>
    </tr>
    <tr>
      <td>opérateur de</td>
      <td>57</td>
    </tr>
    <tr>
      <td>remontée de</td>
      <td>51, 57, 58, 61, 62, 64-67, 70, 71, 75, 76, 78, 82, 88, 89, 162, 210, 211, 225, 228, 239, 242-244, 247, 276, 277, 373, 386, 400, 402, 411-413, 516, 523, 609, 610</td>
    </tr>
    <tr>
      <td>somme de</td>
      <td>67, 68, 69, 177, 224, 227-230</td>
    </tr>
  </tbody>
</table>

Noether

<table>
  <tbody>
    <tr>
      <td>algorithme de</td>
      <td>487</td>
    </tr>
    <tr>
      <td>normalisation de</td>
      <td>472, 483, 485-487, 500</td>
    </tr>
    <tr>
      <td>position de</td>
      <td>473, 478, 479, 484, 488-493, 495, 496, 500, 501</td>
    </tr>
    <tr>
      <td>~ simultanée</td>
      <td>491, 493, 495, 497-499, 502, 507</td>
    </tr>
  </tbody>
</table>

noethérianité

<table>
  <tbody>
    <tr>
      <td>~ de l'anneau des polynômes</td>
      <td>433</td>
    </tr>
    <tr>
      <td>~ du monoïde des monômes</td>
      <td>429</td>
    </tr>
  </tbody>
</table>

nombre

<table>
  <tbody>
    <tr>
      <td>~ algébrique</td>
      <td>20, 124, 362</td>
    </tr>
    <tr>
      <td>~ dyadique</td>
      <td>320</td>
    </tr>
    <tr>
      <td>~ de Fibonacci</td>
      <td>19, 21, 81, 90-92, 253, 254, 259, 264</td>
    </tr>
  </tbody>
</table>

non commutatif

<table>
  <tbody>
    <tr>
      <td>base de Gröbner</td>
      <td>ve</td>
      <td>564, 566, 568, 570, 573-576, 582-585</td>
    </tr>
    <tr>
      <td>polynôme</td>
      <td>~</td>
      <td>543</td>
    </tr>
  </tbody>
</table>

normalisation

<table>
  <tbody>
    <tr>
      <td>~ de Noether</td>
      <td>472, 483, 485-487, 500</td>
    </tr>
  </tbody>
</table>

<table>
  <tbody>
    <tr>
      <td>Nullstellensatz</td>
      <td>447</td>
    </tr>
    <tr>
      <td>~ affine</td>
      <td>447, 448-451, 460</td>
    </tr>
    <tr>
      <td>~ projectif</td>
      <td>461</td>
    </tr>
  </tbody>
</table>

numérique

<table>
  <tbody>
    <tr>
      <td>relation entre constantes</td>
      <td>~s</td>
      <td>361</td>
    </tr>
  </tbody>
</table>

O

<table>
  <tbody>
    <tr>
      <td>opérateur</td>
      <td>21, 545, 562, 598, 610</td>
    </tr>
    <tr>
      <td>composition d'~s</td>
      <td>543, 544</td>
    </tr>
    <tr>
      <td>~ de décalage</td>
      <td>535, 609</td>
    </tr>
    <tr>
      <td>~ de déplacement</td>
      <td>198, 199, 200-205</td>
    </tr>
    <tr>
      <td>~ de descente</td>
      <td>556</td>
    </tr>
    <tr>
      <td>~ différentiel</td>
      <td>139, 563, 597, 605, 606, 608, 619</td>
    </tr>
    <tr>
      <td>multiplication d'~~s</td>
      <td>597</td>
    </tr>
  </tbody>
</table>
<table><tbody><tr><td>~ d'Euler</td><td>256</td></tr><tr><td>factorisation d'un ~</td><td>551, 558</td></tr><tr><td>~ linéaire</td><td>543, 544, 562, 563</td></tr><tr><td>~ de montée</td><td>556</td></tr><tr><td>~ de Newton</td><td>57</td></tr><tr><td>~ de récurrence</td><td>531</td></tr><tr><td>solution d'~</td><td>551</td></tr></tbody></table>

<table><tbody><tr><td>optimal</td><td></td></tr><tr><td>algorithme quasi~</td><td>25</td></tr></tbody></table>

<table><tbody><tr><td>ordinaire</td><td></td></tr><tr><td>point ~</td><td>314, 566</td></tr></tbody></table>

<table><tbody><tr><td>ordre</td><td></td></tr><tr><td>~ admissible ..</td><td>425, 428, 429, 431, 433, 437, 441, 444, 450, 468, 471, 564, 566, 572, 576, 585, 586</td></tr><tr><td>bon ~</td><td>426, 430, 432</td></tr><tr><td>changement d'~</td><td>576</td></tr><tr><td>~ compatible</td><td>425</td></tr><tr><td>~ d'élimination</td><td>427, 444</td></tr><tr><td>équation différentielle d'~ 1</td><td>237</td></tr><tr><td>~ gradué</td><td>426, 427, 572</td></tr><tr><td>~ d'un groupe</td><td>345</td></tr><tr><td>~ lexicographique ..</td><td>426, 427, 432, 439, 441, 442, 471, 565, 566, 568, 572, 574, 582, 587, 603, 610</td></tr><tr><td>~~ gradué</td><td>426, 427</td></tr><tr><td>~~ renversé</td><td>427</td></tr><tr><td>~~ renversé gradué</td><td>427, 443, 478, 479, 575</td></tr><tr><td>récurrence d'~ 1</td><td>276</td></tr><tr><td>~ total</td><td>425</td></tr></tbody></table>

<table><tbody><tr><td>Ore</td><td></td></tr><tr><td>algèbre de ~</td><td>561, 562-564, 566, 568, 573, 574, 576, 580, 582, 586, 587</td></tr><tr><td>~~ rationnelle</td><td>580</td></tr></tbody></table>

<table><tbody><tr><td>orienté</td><td></td></tr><tr><td>graphe ~ acyclique</td><td>219, 225, 226, 506, 507, 520</td></tr></tbody></table>

<table><tbody><tr><td>orthogonalisation</td><td></td></tr><tr><td>~ de Gram-Schmidt</td><td>362, 379, 393, 562</td></tr></tbody></table>

<table><tbody><tr><td>orthogonaux</td><td></td></tr><tr><td>polynômes ~</td><td>555, 562, 564, 566, 580</td></tr></tbody></table>

P

<table><tbody><tr><td>Padé</td><td></td></tr><tr><td>approximant de ~ ..</td><td>143, 160, 191, 200, 245</td></tr></tbody></table>

<table><tbody><tr><td>Padé-Hermite</td><td></td></tr><tr><td>approximant de ~</td><td>19, 145, 160, 200, 210, 264</td></tr></tbody></table>

<table><tbody><tr><td>paramétrée</td><td></td></tr><tr><td>somme ~</td><td>580</td></tr></tbody></table>

<table><tbody><tr><td>paramétrisation</td><td></td></tr><tr><td>~ par élément primitif ..</td><td>453, 456, 496, 498-500, 502, 515, 516</td></tr><tr><td>~ sous forme de Kronecker</td><td>458, 459, 508</td></tr></tbody></table>

<table><tbody><tr><td>partie</td><td></td></tr><tr><td>~ stable ..</td><td>428, 429, 430, 467, 469, 471, 564, 603</td></tr><tr><td>~ primitive</td><td>128, 373, 388, 395, 399, 401, 405</td></tr><tr><td>~ sans carré</td><td>327, 328, 329, 379, 451</td></tr></tbody></table>

<table><tbody><tr><td>pas de bébés, pas de géants</td><td>72, 77, 107, 254, 272, 274, 286, 610</td></tr></tbody></table>

<table><tbody><tr><td>Pascal</td><td></td></tr><tr><td>triangle de ~</td><td>300</td></tr><tr><td>permanent</td><td>184</td></tr><tr><td>permutation</td><td></td></tr><tr><td>matrice de ~</td><td>171, 192</td></tr></tbody></table>

<table><tbody><tr><td>Petkovšek</td><td></td></tr><tr><td>algorithme de ~</td><td>539</td></tr><tr><td>pgcd</td><td>17, 18, 20, 22, 36, 42, 82, 85, 96, 97, 106, 111, 112-114, 116, 117, 119-121, 126, 127, 130, 136, 140, 200, 261, 303, 305, 320, 321, 328-330, 339, 348-350, 370, 373, 386, 389, 399, 402, 534, 606</td></tr><tr><td>algorithme du ~</td><td>112, 113</td></tr><tr><td>demi~</td><td>130, 131-133, 135, 136</td></tr><tr><td>~ étendu</td><td>114, 136, 140, 261</td></tr><tr><td>~ rapide</td><td>91, 130, 132, 136</td></tr></tbody></table>

<table><tbody><tr><td>pire</td><td></td></tr><tr><td>cas le ~</td><td>25</td></tr><tr><td>plusieurs</td><td></td></tr></tbody></table>

<table><tbody><tr><td>~ variables</td><td></td></tr><tr><td>factorisation d'un polynôme à ~</td><td>399</td></tr><tr><td>série en ~</td><td>60</td></tr></tbody></table>

<table><tbody><tr><td>Pochhammer</td><td></td></tr><tr><td>symbole de ~</td><td>529, 556</td></tr></tbody></table>

<table><tbody><tr><td>point</td><td></td></tr><tr><td>~ de Hilbert</td><td>410, 413</td></tr><tr><td>~ à l'infini</td><td>423</td></tr><tr><td>~ ordinaire</td><td>314, 566</td></tr><tr><td>~ singulier</td><td>314</td></tr></tbody></table>

<table><tbody><tr><td>Poisson</td><td></td></tr></tbody></table>
<table>
  <tbody>
    <tr>
      <td>formule de ~ .. 119, 122, 332, 377, 411</td>
    </tr>
    <tr>
      <td>polynôme</td>
    </tr>
    <tr>
      <td>anneau de ~s</td>
    </tr>
    <tr>
      <td>noethérianité de l'~~</td>
    </tr>
    <tr>
      <td>~~ tordus</td>
    </tr>
    <tr>
      <td>~ annulateur</td>
    </tr>
    <tr>
      <td>~ caractéristique ... 87, 89-91, 96, 143, 160, 161, 170, 172, 175, 176, 181, 192, 214, 245, 451, 452, 490, 491, 495, 496, 510, 599, 608</td>
    </tr>
    <tr>
      <td>~~ d'une suite</td>
    </tr>
    <tr>
      <td>contenu d'un ~</td>
    </tr>
    <tr>
      <td>~ déflaté</td>
    </tr>
    <tr>
      <td>degré d'un vecteur de ~s</td>
    </tr>
    <tr>
      <td>division de ~s</td>
    </tr>
    <tr>
      <td>élimination entre ~s</td>
    </tr>
    <tr>
      <td>évaluation d'un ~</td>
    </tr>
    <tr>
      <td>factorisation d'un ~</td>
    </tr>
    <tr>
      <td>~ à coefficients dans un corps fini</td>
    </tr>
    <tr>
      <td>~ à plusieurs variables</td>
    </tr>
    <tr>
      <td>~ à coefficients rationnels</td>
    </tr>
    <tr>
      <td>~ de Fibonacci</td>
    </tr>
    <tr>
      <td>~ de Hermite</td>
    </tr>
    <tr>
      <td>~ de Hilbert</td>
    </tr>
    <tr>
      <td>~ indiciel</td>
    </tr>
    <tr>
      <td>~ irréductible</td>
    </tr>
    <tr>
      <td>~ de Laguerre</td>
    </tr>
    <tr>
      <td>~ de Laurent</td>
    </tr>
    <tr>
      <td>~ de Legendre</td>
    </tr>
    <tr>
      <td>~ minimal .. 82, 87, 139, 143, 160, 175, 181, 190, 191, 192, 362, 451, 452, 490, 491, 494-496, 510</td>
    </tr>
    <tr>
      <td>~ d'une suite</td>
    </tr>
    <tr>
      <td>multiplication de ~s</td>
    </tr>
    <tr>
      <td>~ non commutatif</td>
    </tr>
    <tr>
      <td>~ s orthogonaux</td>
    </tr>
    <tr>
      <td>~ primitif</td>
    </tr>
    <tr>
      <td>~ réciproque</td>
    </tr>
    <tr>
      <td>~ sans carré</td>
    </tr>
    <tr>
      <td>~ séparable</td>
    </tr>
  </tbody>
</table>

<table>
  <tbody>
    <tr>
      <td>S-~ .. 439, 441, 564-566, 568, 586, 587</td>
    </tr>
    <tr>
      <td>support d'un ~</td>
    </tr>
    <tr>
      <td>~ de Swinnerton-Dyer</td>
    </tr>
    <tr>
      <td>~ de syzygie</td>
    </tr>
    <tr>
      <td>~ de Tchebychev</td>
    </tr>
    <tr>
      <td>~ tordu</td>
    </tr>
    <tr>
      <td>~ morphisme entre anneaux de ~</td>
    </tr>
    <tr>
      <td>~ de trace</td>
    </tr>
    <tr>
      <td>type d'un vecteur de ~s</td>
    </tr>
    <tr>
      <td>~ unitaire .. 67, 68, 82-84, 98, 101, 116, 123, 125, 190, 305, 327, 328, 337, 347, 386, 387, 390, 400, 403, 473, 539</td>
    </tr>
    <tr>
      <td>vecteur de ~s</td>
    </tr>
    <tr>
      <td>degré d'un ~s</td>
    </tr>
    <tr>
      <td>type d'un ~s</td>
    </tr>
    <tr>
      <td>polynomial</td>
    </tr>
    <tr>
      <td>élimination ~e</td>
    </tr>
    <tr>
      <td>équation différentielle à coefficients</td>
    </tr>
    <tr>
      <td>~ aux</td>
    </tr>
    <tr>
      <td>matrice ~e</td>
    </tr>
    <tr>
      <td>solution ~e</td>
    </tr>
    <tr>
      <td>système ~</td>
    </tr>
    <tr>
      <td>système linéaire à coefficients ~aux</td>
    </tr>
    <tr>
      <td>polynomialement récurrente</td>
    </tr>
    <tr>
      <td>suite ~</td>
    </tr>
    <tr>
      <td>~ de Noether</td>
    </tr>
    <tr>
      <td>~ simultanée</td>
    </tr>
    <tr>
      <td>précision</td>
    </tr>
    <tr>
      <td>doublement de ~</td>
    </tr>
    <tr>
      <td>premiers termes</td>
    </tr>
    <tr>
      <td>~ d'une série</td>
    </tr>
    <tr>
      <td>primalité</td>
    </tr>
    <tr>
      <td>test de ~</td>
    </tr>
    <tr>
      <td>primitif</td>
    </tr>
    <tr>
      <td>élément ~</td>
    </tr>
    <tr>
      <td>paramétrisation par ~</td>
    </tr>
    <tr>
      <td>partie ~ve</td>
    </tr>
    <tr>
      <td>polynôme ~</td>
    </tr>
  </tbody>
</table>
405, 407, 409, 410

racine ~ve .. 41, 42, 43, 45, 50, 107, 376

principale

racine ~ ............ 41, 42-45, 96, 102

principe

~ d'inversion..................198

~ de Tellegen .................... 220

privilégié

exposant ~ ............ 428, 429, 430, 432

produit

~ de Cauchy .................... 59, 90

clôture par ~ .................... 21, 582

~ composé .................... 68, 69, 77, 90

~ diamant....................595

~ de Hadamard .................... 90, 260

~ médian .. 63, 197, 224, 225, 228, 229, 231

programme

~ linéaire .................... 221

transposition de ~ ............ 222

progression

~ arithmétique ............ 89, 107

~ géométrique .. 97, 104, 105, 209, 596

projectif

espace ~ .................... 423

espace linéaire ~ ............ 462

somme d'~~s.................... 462

Nullstellensatz ~ ............ 461

projection....................118

base de ~ .................... 463

centre de ~ .................... 463

dimension de ~ .................... 471

~ des puissances ............ 224

~ d'une variété ..... 459, 460, 462, 463

projective

variété ~ .................... 424

proprement

terme ~ hypergéométrique... 538, 541, 617, 618

pseudo-reste .................... 127

puissance

projection des ~s.................... 224

somme de ~s.................... 106, 595

suite de ~s .................... 190, 191

~ symétrique.................... 265, 321

Q

quadrifolium....................121

quartique de Macaulay....................603

quasi

algorithme ~-optimal ............ 25

~-degré .................... 491

~-homogène .................... 491

matrice ~-Cauchy ............ 199, 206

matrice ~-Toeplitz ....... 199, 200-202, 204-206

matrice ~-Vandermonde ....... 199, 200, 206

questeur

ensemble ~ .................... 521

quotient

module ~ .................... 562, 566

R

Rabinowitsch

astuce de ~ .................... 449

racine

~s entières .................... 291, 293

~ primitive ....... 41, 42, 43, 45, 50, 107, 376

~ principale ....... 41, 42-45, 96, 102

~ de l'unité.................... 37

radical

~ d'un idéal .................... 616

algorithme pour le ~~ ............ 616

idéal ~ .................... 447, 449, 457

rang ...... 160, 171, 181, 200, 483, 484, 546

algorithme pour le ~ ....... 161, 171, 172, 192

~ de déplacement .. 160, 198, 199, 200, 201, 203-206

~ d'un module .................... 546

~ d'un tenseur .................... 170, 183

~ tensoriel .................... 170, 183

rapide

algorithme d'Euclidean ............ 130

décalage ~ .................... 591

interpolation ~ ....... 104, 257, 354, 600

pgcd ~ .................... 91, 130, 132, 136

transformée de Fourier ~ ............ 42

rationnel

algèbre de Ore ~-le ............ 580

factorisation d'un polynôme à coefficients ~s.................... 360,

373

fraction ~-le .................... 18

reconstruction ~-le ............ 139, 214
<table><tr><td>série ~le</td><td>87</td></tr><tr><td>solution ~le</td><td>210</td></tr><tr><td>~~le d'une équation inhomogène</td><td>316</td></tr></table>

réalisable

<table><tr><td>exposant ~</td><td>72, 124, 161, 163, 167, 169-172, 177, 209, 349, 370, 405, 438, 479</td></tr></table>

réciproque

<table><tr><td>polynôme ~</td><td>591</td></tr></table>

reconstruction

<table><tr><td>~ d'entier</td><td>144</td></tr><tr><td>~ d'équation</td><td></td></tr><tr><td>~~ algébrique</td><td>151</td></tr><tr><td>~~ différentielle</td><td>151</td></tr><tr><td>~ de fraction</td><td>143, 150, 245</td></tr><tr><td>~ rationnelle</td><td>139, 214</td></tr><tr><td>~ de récurrence</td><td>145, 152</td></tr></table>

récurrence

<table><tr><td>conversion entre équation différentielle et ~</td><td>255</td></tr><tr><td>extension de ~</td><td>224</td></tr><tr><td>transposition de l'~~</td><td>226</td></tr><tr><td>~ hypergéométrique</td><td>144</td></tr><tr><td>~ inhomogène</td><td>272, 292, 295</td></tr><tr><td>~ linéaire</td><td>19, 21, 81, 84-87, 89, 90, 139, 143-145, 160, 244, 251, 253, 254, 257, 262, 269, 272-274, 285, 286, 289, 295-297, 315, 528, 535, 540, 541, 566, 592, 598, 608, 610</td></tr><tr><td>~~ homogène</td><td>278</td></tr><tr><td>opérateur de ~</td><td>531</td></tr><tr><td>~ d'ordre 1</td><td>276</td></tr><tr><td>reconstruction de ~</td><td>145, 152</td></tr><tr><td>~ régulière</td><td>270</td></tr><tr><td>~ singulière</td><td>270</td></tr></table>

récurrente

<table><tr><td>suite polynomialement ~</td><td>145, 251, 252, 253, 264, 269-271, 277, 286, 290, 541, 547, 548, 550, 551, 554, 561, 566, 570</td></tr><tr><td>suite ~</td><td>19, 81, 84, 87</td></tr></table>

réduction

<table><tr><td>~ de Hermite</td><td>606</td></tr></table>

réduit

<table><tr><td>base LLL~e</td><td>364, 392</td></tr><tr><td> régularité</td><td>468</td></tr></table>

régulière

<table><tr><td>récurrence ~</td><td>270</td></tr><tr><td>suite ~</td><td>475, 476, 478, 479, 491, 493,</td></tr></table>

495-499, 501, 507

relatif

<table><tr><td>anneau des entiers ~s</td><td>17</td></tr></table>

relation

<table><tr><td>~ de Bézout</td><td>42, 114, 116, 131, 140, 141, 200</td></tr></table>

<table><tr><td>~ bilatérale</td><td>439</td></tr></table>

<table><tr><td>~ entre constantes numériques</td><td>361</td></tr></table>

<table><tr><td>~ de contiguïté</td><td>555, 556, 557, 558, 610</td></tr></table>

<table><tr><td>~ de dépendance intégrale</td><td>473, 474, 484</td></tr></table>

<table><tr><td>module des ~s</td><td>438</td></tr></table>

<table><tr><td>~ entre séries formelles</td><td>150</td></tr></table>

remontée

<table><tr><td>~ de Hensel</td><td>114, 373, 386, 396, 399, 402, 411-413, 515, 518</td></tr></table>

<table><tr><td>~ de Newton</td><td>51, 57, 58, 61, 62, 64-67, 70, 71, 75, 76, 78, 82, 88, 89, 162, 210, 211, 225, 228, 239, 242-244, 247, 276, 277, 373, 386, 400, 402, 411-413, 516, 523, 609, 610</td></tr></table>

renversé

<table><tr><td>ordre lexicographique ~</td><td>427</td></tr><tr><td>~~ gradué</td><td>427, 443, 478, 479, 575</td></tr></table>

représentation

<table><tr><td>~ creuse</td><td>18, 23, 95</td></tr></table>

<table><tr><td>~ dense</td><td>25, 506</td></tr></table>

<table><tr><td>~ exacte</td><td>19</td></tr></table>

<table><tr><td>~ par générateurs de déplacement</td><td>201-203, 205</td></tr></table>

<table><tr><td>réseau</td><td>359, 360-367, 370, 392-397, 546</td></tr><tr><td>déterminant d'un ~</td><td>363</td></tr></table>

résolution

<table><tr><td>~ géométrique</td><td>19, 501, 502, 506, 507, 519, 520</td></tr></table>

résolvante

<table><tr><td>~ de Cockle</td><td>610</td></tr></table>

<table><tr><td>restes chinois</td><td>18, 96, 97, 107, 108, 230, 381</td></tr></table>

<table><tr><td>résultant</td><td>20-22, 68, 69, 111, 116, 117, 136, 160, 193, 200, 265, 304, 377, 379, 382, 386, 389, 394, 400, 404, 408, 442, 485, 509, 511, 513, 558, 595, 609</td></tr></table>

<table><tr><td>~ en deux variables</td><td>135</td></tr></table>

<table><tr><td>sous-~</td><td>111, 126, 128-130, 135, 136, 558</td></tr></table>

<table><tr><td>spécialisation du ~</td><td>123</td></tr></table>

<table><tr><td>revlex</td><td>427</td></tr></table>
Richardson-Matiyasevich
théorème de ~..................15

S

sans carré......327, 328, 332, 385, 606, 616
factorisation ~ 134, 136, 327, **328**,
330, 331, 334, 337, 342, 379
partie ~ 327, **328**, 329, 379, 451
polynôme ~..................327

scalaire
multiplication ~..................546

Schönhage-Strassen............47, 50, 53
algorithme de ~............36, 37, 41, 46

Schroeder
série de ~..................615

Schur
complément de ~..................173

scindage binaire....254, 255, 261, 275, 276,
278, 285, 286, 318, 321, 322, 610

section
dimension de ~..................471
~ par un hyperplan..................443

séparabilité
degré de ~..................332

séparable..................332-334
factorisation ~ 328, **334**, 335, 337,
338, 341, 342
polynôme ~..................**331**, 455

série
~ algébrique .. 114, 139, 151, 162, **260**,
262, 266, 608, 609
anneau des ~s..................19
métrique sur l'~~..................59
~ de Bessel..................582
~ binomiale..................549
~ de Cauchy..................59
composition de ~s... 36, 57-59, 61, 64,
71, 72, 74, 77, **246**, 264, 615
dérivation d'une ~..................60
diagonale de ~..................604
division de ~s..................**63**
équation différentielle à coefficients ~s
237
exponentielle de ~s..................**66**
~ formelle..................21, 51, 57, 58, 60,
62, 77, 83, 145, 151, 162, 312, 317,
566, 582
relation entre ~~s..................150
~ généralisée..................**313**, 315

~ génératrice...........69, 71, 87, 95, 152,
253-255, 260, 261, 318, 547, 548,
556

~ géométrique............27, 30, 277

~ de Hilbert..................477

~ hypergéométrique .... 252, 262-264,
555, 557, 568

~ généralisée..................529

solution ~..................568

intégration d'une ~..................61

inverse compositionnel de ~............71

inversion de ~..................60, 61

~ de Laurent..................252

logarithme d'une ~..................63

~ majorante..................317

~ de matrices
inversion d'une ~..................64

métrique sur l'anneau des ~s...........59

N-ième terme d'une ~..................72

~ en plusieurs variables..................60

premiers termes d'une ~..................71

~ rationnelle..................87

~ de Schroeder..................615

solution ~ hypergéométrique......568

~ de Taylor...58, **61**, 65, 70, 73, 87, 88,
214, 227, 260, 262, 529

troncature de ~..................19, 60, 237

~ tronquée..................19, 60, 237

simple
décomposition en éléments ~s......68,
224, 407, 593

simultanée
position de Noether ~... 491, 493, 495,
497-499, 502, 507

singulier
point ~..................**314**
récurrence ~ère..................270

solution
~ hypergéométrique...........539-541
~ d'opérateur..................**551**
~ polynomiale..................297
~ rationnelle..................**210**
~~ d'une équation inhomogène
**316**

~ série
~~ hypergéométrique...........568

~ à support fini..................**295**

sommation.... 162, 253, 289, **527**, 528, 534,
535, 579-582, 584, 585, 614

algorithme pour la ~............584, 585
~ hypergéométrique .... 527, 528, 531, 532, 534, 537, 580, 584

somme

~ composée ............ 68, 69, 77, 256

~ définie .................... 528

~ d'espaces linéaires projectifs .... 462

~ de fractions ............ 102-105

~ hypergéométrique .... 531-533, 536, 537

~ indéfinie ............ 528, 533, 541, 580

~ de Newton ...... 67, 68, 69, 177, 224, 227-230

~ paramétrée ............ 580

~ de puissances ............ 106, 595

sous-produits

arbre des .... 100, 273, 274, 402, 405

sous-résultant ...... 111, 126, 128-130, 135, 136, 558

S-polynôme ... 439, 441, 564-566, 568, 586, 587

srcc ............ 84, 85, 87, 89-91, 257

clôture de la classe des ~ ............ 90

stable

partie ~ 428, 429, 430, 467, 469, 471, 564, 603

standard

base ~ ............ 421, 430, 432-434, 437, 438-442, 469, 478, 481, 488, 500, 520

~ minimale ............ 430, 442, 479

Stirling

formule de ~ ............ 72, 270, 275, 480

Storjohann

algorithme de ~ .... 176, 211, 213, 232

Strassen

algorithme de ~ .... 27, 165, 166-169, 173, 174, 178, 201, 204, 205

~ pour l'inversion de matrice .. 172

structure

~ de données

équation comme ~ ............ 19

~ effective .................... 16

matrice ~ée ............ 160, 198

suite

~ arithmétique ............ 89, 107
extrapolation sur une ~ .... 592

~ de Cauchy .................... 59

~ géométrique .. 97, 104, 105, 209, 596

évaluation sur une ~ .... 104

interpolation sur une ~ .... 104

germe de ~ ............ 252, 547

~ hypergéométrique .... 253, 261, 271, 273, 527, 528, 529, 530, 533, 534, 551, 580, 608

~ de Krylov .................... 176

polynôme caractéristique d'une ~ .. 84

polynôme minimal d'une ~ .... 84

~ polynomialement récurrente .... 145, 251, 252, 253, 264, 269-271, 277, 286, 290, 541, 547, 548, 550, 551, 554, 561, 566, 570

~ de puissances ............ 190, 191

~ récurrente ............ 19, 81, 84, 87

~ régulière .... 475, 476, 478, 479, 491, 493, 495-499, 501, 507

supérieure

dimension lexicographique ~ .... 471

support .................... 295

~ fini .... 289, 290, 295, 296, 299, 309, 315, 535, 547

solution à ~ ............ 295

~ d'un polynôme ............ 428, 433, 434

Swinnerton-Dyer

polynôme de ~ ............ 389, 395

Sylvester

matrice de ~ .. 116, 117, 118, 122-124, 128, 160, 195, 197, 199, 200, 379, 382, 485

symbole

~ de Pochhammer ............ 529, 556

symétrique

fonctions ~s élémentaires .... 107

puissance ~ ............ 265, 321

système

~ d'équations différentielles .... 240

~ hypergéométrique GKZ .... 568

~ linéaire

~ à coefficients polynomiaux .. 209

~ polynomial .................... 20

syzygie .................... 438-442, 444

module des ~s ............ 438

polynôme de ~ ............ 439

T

Taylor

développement de ~ .... 58, 61, 65, 70, 73, 87, 88, 214, 227, 260, 262, 529

série de ~ .... 58, 61, 65, 70, 73, 87, 88, 214, 227, 260, 262, 529
<table><tbody><tr><td>Tchebychev</td><td>polynôme de ~</td><td>580</td></tr><tr><td>tdeg</td><td>427, 443, 478, 479, 575</td><td></td></tr><tr><td>télescopage créatif</td><td>535, 580</td><td></td></tr><tr><td>Tellegen</td><td>dictionnaire de ~</td><td>224</td></tr><tr><td>graphe de ~</td><td>220</td><td></td></tr><tr><td>principe de ~</td><td>220</td><td></td></tr><tr><td>transposition de ~</td><td>52, 63, 183, 198, 217, 218, 219, 223, 225, 229, 231, 232</td><td></td></tr></tbody></table>

<table><tbody><tr><td>tenseur</td><td>rang d'un ~</td><td>170, 183</td></tr></tbody></table>

<table><tbody><tr><td>tensoriel</td><td>rang ~</td><td>170, 183</td></tr></tbody></table>

<table><tbody><tr><td>terme</td><td>~ hypergéométrique</td><td>530, 531, 537, 538, 540</td></tr><tr><td></td><td>N-ième ~ d'une série</td><td>72</td></tr><tr><td></td><td>premiers ~s d'une série</td><td>71</td></tr><tr><td></td><td>~ proprement hypergéométrique</td><td>538, 541, 617, 618</td></tr><tr><td></td><td>~ de tête</td><td>119, 309, 321, 428, 432, 460, 565</td></tr></tbody></table>

<table><tbody><tr><td>test</td><td>~ de primalité</td><td>90</td></tr></tbody></table>

<table><tbody><tr><td>tête</td><td>coefficient de ~</td><td>118, 127, 252, 255, 263, 298, 312, 314, 315, 319, 321, 373, 386, 399, 410, 428, 448, 468, 529, 541, 565, 567, 570</td></tr><tr><td></td><td>monôme de ~</td><td>428, 433, 438, 440-444, 564-566, 568, 575, 586, 587</td></tr><tr><td></td><td>terme de ~</td><td>119, 309, 321, 428, 432, 460, 565</td></tr></tbody></table>

<table><tbody><tr><td>théorème</td><td>~ d'Apollonius</td><td>419, 450</td></tr><tr><td></td><td>~ de Cauchy</td><td>314, 317</td></tr><tr><td></td><td>~ de Cauchy-Kovalevskaya</td><td>569</td></tr><tr><td></td><td>~ de la dimension</td><td>471</td></tr><tr><td></td><td>~ « diviser pour régner »</td><td>28, 30</td></tr><tr><td></td><td>~ de Gauss-Lucas</td><td>377, 378</td></tr><tr><td></td><td>~ de Richardson-Matiyasevich</td><td>15</td></tr></tbody></table>

<table><tbody><tr><td>Toeplitz</td><td>matrice de ~</td><td>195, 196, 197-203, 206, 218, 224, 225</td></tr><tr><td></td><td>~ bande</td><td>196</td></tr><tr><td></td><td>matrice quasi-~</td><td>199, 200-202, 204-206</td></tr></tbody></table>

Toom-Cook

<table><tbody><tr><td>algorithme de ~</td><td>40</td></tr><tr><td>tordu</td><td>polynôme ~</td><td>544, 545-554, 556-558, 563, 586, 610, 612, 618</td></tr><tr><td></td><td>anneau de ~s</td><td>544</td></tr></tbody></table>

<table><tbody><tr><td>torsion</td><td>élément de ~</td><td>492, 493, 495</td></tr><tr><td>total</td><td>ordre ~</td><td>425</td></tr><tr><td>trace</td><td>polynôme de ~</td><td>351</td></tr><tr><td>transformée</td><td>~ de Fourier</td><td>27, 36, 40, 41, 43, 44, 46, 50, 53, 136, 184, 260</td></tr><tr><td></td><td>~ rapide</td><td>42</td></tr></tbody></table>

<table><tbody><tr><td>transition</td><td>matrice de ~</td><td>319</td></tr><tr><td>transporteur</td><td>idéal ~</td><td>613</td></tr><tr><td>transposition</td><td>~ de la division</td><td>226</td></tr><tr><td></td><td>~ de l'évaluation</td><td>227</td></tr><tr><td></td><td>~ de l'extension de récurrence</td><td>226</td></tr><tr><td></td><td>~ de l'interpolation</td><td>227</td></tr><tr><td></td><td>~ de programme</td><td>222</td></tr><tr><td></td><td>~ de Tellegen</td><td>52, 63, 183, 198, 217, 218, 219, 223, 225, 229, 231, 232</td></tr></tbody></table>

<table><tbody><tr><td>triadique</td><td>FFT ~</td><td>49</td></tr></tbody></table>

<table><tbody><tr><td>triangle</td><td>~ de Pascal</td><td>300</td></tr></tbody></table>

<table><tbody><tr><td>triangulaire</td><td>matrice ~</td><td>171</td></tr></tbody></table>

<table><tbody><tr><td>troncature</td><td>~ de série</td><td>19, 60, 237</td></tr></tbody></table>

<table><tbody><tr><td>tronquée</td><td>série ~</td><td>19, 60, 237</td></tr></tbody></table>

<table><tbody><tr><td>Turing</td><td>machine de ~</td><td>16, 30</td></tr></tbody></table>

<table><tbody><tr><td>type</td><td>~ d'un vecteur de polynômes</td><td>146</td></tr></tbody></table>

U

<table><tbody><tr><td>unitaire</td><td>polynôme ~</td><td>67, 68, 82-84, 98, 101, 116, 123, 125, 190, 305, 327, 328, 337, 347, 386, 387, 390, 400, 403, 473, 539</td></tr></tbody></table>
unité

<table><tr><td>racine de l'~</td><td>37</td></tr></table>

V

<table><tr><td>valuation</td><td>312</td></tr></table>

Vandermonde

<table><tr><td>matrice de ~</td><td>44, 160, 195, 197, 198-200, 206, 218, 224, 600</td></tr></table>

<table><tr><td>matrice quasi~</td><td>199, 200, 206</td></tr></table>

variable

<table><tr><td>~ libre</td><td>484, 491</td></tr></table>

<table><tr><td>~ liée</td><td>484, 493</td></tr></table>

plusieurs ~

<table><tr><td>factorisation de polynôme à ~~s</td><td>399</td></tr></table>

<table><tr><td>série en ~</td><td>60</td></tr></table>

<table><tr><td>résultant en deux ~s</td><td>135</td></tr></table>

variété

<table><tr><td>~ affine</td><td>421</td></tr></table>

<table><tr><td>degré d'une ~</td><td>468</td></tr></table>

<table><tr><td>dimension d'une ~</td><td>468</td></tr></table>

<table><tr><td>projection d'une ~</td><td>459, 460, 462, 463</td></tr></table>

<table><tr><td>~ projective</td><td>424</td></tr></table>

<table><tr><td>vecteur</td><td>18</td></tr></table>

<table><tr><td>~ cyclique</td><td>571</td></tr></table>

~ de polynômes

<table><tr><td>degré d'un ~</td><td>146</td></tr></table>

<table><tr><td>type d'un ~</td><td>146</td></tr></table>

W

Waksman

<table><tr><td>algorithme de ~</td><td>163, 164, 165</td></tr></table>

Wiedemann

<table><tr><td>algorithme de ~</td><td>92, 176, 189, 190, 191, 193, 198</td></tr></table>

Winograd

<table><tr><td>algorithme de ~</td><td>163, 164, 165</td></tr></table>

Y

Yun

<table><tr><td>algorithme de ~</td><td>134, 136, 328, 330, 331, 335, 337, 342, 385</td></tr></table>

Z

Zariski

<table><tr><td>clôture de ~</td><td>459</td></tr></table>

Zeilberger

<table><tr><td>algorithme de ~</td><td>528, 534, 535, 536, 537, 538, 579-581, 586, 605, 606, 614, 617-619</td></tr></table>

zéro

<table><tr><td>diviseur de ~</td><td>476, 496</td></tr></table>

<table><tr><td>idéal ~-dimensionnel</td><td>450, 451, 456, 489, 490, 499</td></tr></table>