@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},
year = {1994},
publisher = {EDP Sciences},
volume = {28},
number = {1},
mrnumber = {1271124},
zbl = {0999.12502},
language = {fr},
url = {https://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 - https://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 https://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. https://www.numdam.org/item/ITA_1994__28_1_1_0/
[Fro] , Uber das Traegheitsgesetz des quadratishen Formen, S-B Pruss. Akad. Wiss., Marz 1984, 241-256; Mai 1984, 403-431. | JFM
[Gan] , Théorie des matrices, t. I, Dunod 1966. | Zbl
[GLRR1] , , , , Spécialisation de la suite de Sturm et sous-résultants (I), Inf. Théorique et Appl., 1990, 6, 561-588. | Zbl | MR | Numdam
[GLRR2] , , et , Sturm-Habicht sequences, Proceedings ISSAC, 1989.
[GLRR3] , , , , 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] , , , , 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] , The Proof of the Sylvester Theorem Through Habicht Sequences, Preprint, Université de Santander, 1988.
[Hab] , Eine Verallgemeinerung des Sturmschen Wurzel zählverfahrens, Comm. Math. Helvetici, 1948, 21, 99-116. | Zbl | MR
[Her] , Remarques sur le théorème de Sturm, C.R. Acad. Sci. Paris, 1853, 36, 52-54.
[KrN] , , 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. | Zbl | MR
[Syl] , 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] , Fonctions symétriques et changements de base, Thèse, Université Paris-VI, 1987.






