Spécialisation de la suite de Sturm
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 28 (1994) no. 1, pp. 1-24. 
@article{ITA_1994__28_1_1_0,
     author = {Gonz\'alez-Vega, Laureano and Lombardi, Henri and Recio, Tomas and Roy, Marie-Fran\c{c}oise},
     title = {Sp\'ecialisation de la suite de {Sturm}},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {1--24},
     publisher = {EDP-Sciences},
     volume = {28},
     number = {1},
     year = {1994},
     mrnumber = {1271124},
     zbl = {0999.12502},
     language = {fr},
     url = {http://www.numdam.org/item/ITA_1994__28_1_1_0/}
}
TY  - JOUR
AU  - González-Vega, Laureano
AU  - Lombardi, Henri
AU  - Recio, Tomas
AU  - Roy, Marie-Françoise
TI  - Spécialisation de la suite de Sturm
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 1994
SP  - 1
EP  - 24
VL  - 28
IS  - 1
PB  - EDP-Sciences
UR  - http://www.numdam.org/item/ITA_1994__28_1_1_0/
LA  - fr
ID  - ITA_1994__28_1_1_0
ER  - 
%0 Journal Article
%A González-Vega, Laureano
%A Lombardi, Henri
%A Recio, Tomas
%A Roy, Marie-Françoise
%T Spécialisation de la suite de Sturm
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1994
%P 1-24
%V 28
%N 1
%I EDP-Sciences
%U http://www.numdam.org/item/ITA_1994__28_1_1_0/
%G fr
%F ITA_1994__28_1_1_0
González-Vega, Laureano; Lombardi, Henri; Recio, Tomas; Roy, Marie-Françoise. Spécialisation de la suite de Sturm. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 28 (1994) no. 1, pp. 1-24. http://www.numdam.org/item/ITA_1994__28_1_1_0/

[Fro] Frobenius, Uber das Traegheitsgesetz des quadratishen Formen, S-B Pruss. Akad. Wiss., Marz 1984, 241-256; Mai 1984, 403-431. | JFM

[Gan] Fr. Gantmacher, Théorie des matrices, t. I, Dunod 1966. | Zbl

[GLRR1] L. Gonzalez, H. Lombardi, T. Recio, M.-F. Roy, Spécialisation de la suite de Sturm et sous-résultants (I), Inf. Théorique et Appl., 1990, 6, 561-588. | Numdam | MR | Zbl

[GLRR2] L. Gonzalez, H. Lombardi, T. Recio et M.-F. Roy, Sturm-Habicht sequences, Proceedings ISSAC, 1989.

[GLRR3] L. Gonzalez, H. Lombardi, T. Recio, M.-F. Roy, Spécialisation de la suite de Sturm et sous-résultants, Version détaillée, dans CALSYF (journées du GRECO de Calcul Formel) 1989.

[GLRR4] L. González-Vega, H. Lombardi, T. Recio, M.-F. Roy, Determinants and real roots of univariate polynomials. A paraître dans : Special volume of the series "Texts and Monographs in Symbolic Computation" (Springer-Verlag) ayant pour titre : 25 years of Quantifier Elimination and Cylindrical Algebraic Decomposition, (Compte-rendus du Symposium on quantifier elimination andcylindrical algebraic decomposition. Linz. 6-8 oct. 93). | Zbl

[Gon] L. Gonzalez, The Proof of the Sylvester Theorem Through Habicht Sequences, Preprint, Université de Santander, 1988.

[Hab] W. Habicht, Eine Verallgemeinerung des Sturmschen Wurzel zählverfahrens, Comm. Math. Helvetici, 1948, 21, 99-116. | MR | Zbl

[Her] C. Hermite, Remarques sur le théorème de Sturm, C.R. Acad. Sci. Paris, 1853, 36, 52-54.

[KrN] M. G. Krein, M. A. Naimark, The Method of Symmetric and Hermitian Forms on the Theory of the Separation of the Roots of Algebraic Equations, Originairement publié à Kharkov (1936), Lin. Multilinear algebra, 1981, 10, 265-308. | MR | Zbl

[Syl] J. J. Sylvester, On a Theory of Syzygetic Relations of Two Rational Intégral Functions, Comprising an Application to the Theory of Sturm's Function, Trans. Roy. Soc. London, 1853. Reprint dans : Sylvester, Collected Math. Papers, Chelsea Pub. Comp. NY, 1983, vol. 1, 429-586.

[Val] A. Vallibouze, Fonctions symétriques et changements de base, Thèse, Université Paris-VI, 1987.