Spécialisation de la suite de Sturm et sous-résultants (I)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 24 (1990) no. 6, p. 561-588
@article{ITA_1990__24_6_561_0,
     author = {Gonz\'alez-Vega, L. and Lombardi, H. and Recio, T. and Roy, M.-F.},
     title = {Sp\'ecialisation de la suite de Sturm et sous-r\'esultants (I)},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     publisher = {EDP-Sciences},
     volume = {24},
     number = {6},
     year = {1990},
     pages = {561-588},
     zbl = {0732.68059},
     mrnumber = {1082916},
     language = {fr},
     url = {http://www.numdam.org/item/ITA_1990__24_6_561_0}
}
González-Vega, L.; Lombardi, H.; Recio, T.; Roy, M.-F. Spécialisation de la suite de Sturm et sous-résultants (I). RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 24 (1990) no. 6, pp. 561-588. http://www.numdam.org/item/ITA_1990__24_6_561_0/

1. A. C. Aitken, On te Evaluation of Determinants, the Formation of their Adjugates, and the Practical Solution of Simultaneous Linear Equations, Proc. Edinburgh Math. Soc., série 2, III, 1932, p. 207-219. | Zbl 0006.14702

2. E. H. Bareiss, Sylvester's Identity and Multistep Integer Preserving Gaussian Elimination, Math. Comp., 22, 565-578 (1968). | MR 226829 | Zbl 0187.09701

3. Borchardt, Zur Theorie der Elimination und Kettenbruch-Entwichlung, Math. Abh. der Akad. der Wissenschaften zu Berlin, 1878, p. 1-17.

4. W. S. Brown, On Euclid's Algorithm and the Computation of Polynomial Greatest Common Divisors, J.A.C.M., 1971, 18, p. 476-504. | MR 307450 | Zbl 0226.65040

5. W. S. Brown et J. F. Traub, On Euclid's Algorithm and the Theory of Subresultants, J.A.C.M., 1971, 18, p. 505-514. | MR 303684 | Zbl 0226.65041

6. M. Chardin, Un algorithme pour le calcul du résultant de trois polynômes homogènes en trois variables, Centre de Mathématiques et Laboratoire d'informatique, Ecole Polytechnique, 91128 Palaiseau Cedex (prépublication).

7. G. E. Collins, Subresultants and Reduced Polynomial Remainder Séquences, J.A.C.M., 1967, 14, p. 128-142. | MR 215512 | Zbl 0152.35403

8. M. Coste et M.-F. Roy, Thom's Lemma, the Coding of Real Algebraic Numbers and the Computation of the Topology of Semi-AIgebraic Sets, J. Symbolic Computations, 1988, 5, p. 121-129. | MR 949115 | Zbl 0689.14006

9. L. Gonzalez, H. Lombardi, T. Recio et M.-F. Roy, Spécialisation de la suite de Sturm et sous-résultants (II), R.A.I..R.O., 1990, p.000-000.

10. L. Gonzalez H. Lombardi T. Recio et M.-F. Roy, Sturm-Habicht Sequences, Proceedings I.S.S.A.C, 1989, p. 136-146.

11. L. Gonzalez, H. Lombardi, T. Recio et M.-F. Roy, Spécialisation de la suite du Sturm et sous-résultants, version détaillée, CALSYF, Journées du GRECO de Calcul Formel, 1989.

12. W. Habicht, Eine Verallgemeinerung des Sturmschen Wurzelzählverfahrens, Comm. Math. Helvetici, 1948, 21 p. 99-116. | MR 23796 | Zbl 0029.24402

13. A. Lascoux, La résultante de deux polynômes, Séminaire d'Algèbre M. P. Malliavin, Lecture Notes in Math., 1984-1985. | MR 926297 | Zbl 0605.13007

14. H. Lombardi, Sous-résultants, suite de Sturm, spécialisation, Publications Mathématiques de Besançon (Théorie des Nombres). 1988-89, fascicule 2. | MR 1052949

15. R. Loos, Generalized Polynomial Reaminder Sequences, Computer Algebra, Symbolic and Algebraic Computation, Buchberger, Collins, Loos éd., Springer-Verlag, 1982, p. 115-138. | MR 728969 | Zbl 0577.13001

16. M. Mignotte, Some useful bounds, Computer Algebra, Symbolic and Algebraic Computation, Buchberger, Collins, Loos éd., Springer-Verlag, 1982, p. 259-263. | MR 728976 | Zbl 0498.12019

17. C. Sturm, Mémoire sur la résolution des équations numériques, Inst. France Sc. Math. Phys., 1835, 6.

18. J. J. Sylvester, On a Theory of Syzygetic Relations of two Rational Integral Functions, Comprising an Application to the Theory of Sturm's Function, Trans. Roy. Soc. London, 1853; repris dans Sylvester : Collected Math Papers, Chelsea Pub. Comp. NY, 1983, 1, p. 429-586.