@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://archive.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://archive.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://archive.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://archive.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. | Numdam | MR | Zbl
, , , ,[GLRR2] Sturm-Habicht sequences, Proceedings ISSAC, 1989.
, , et ,[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. | MR | Zbl
,[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. | MR | Zbl
, ,[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.
,