Spécialisation de la suite de Sturm
Laureano González-Vega, Henri Lombardi, Tomas Recio, Marie-Françoise Roy (1994)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Displaying similar documents to “Preuves de terminaison de systèmes de réécriture fondées sur les interprétations polynomiales. Une méthode basée sur le théorème de Sturm”
Spécialisation de la suite de Sturm
Sur une application de la méthode de Sturm
Ch. Biehler (1887)
Nouvelles annales de mathématiques : journal des candidats aux écoles polytechnique et normale
Similarity:
Note sur le théorème de Sturm
B. Niewenglowski (1890)
Nouvelles annales de mathématiques : journal des candidats aux écoles polytechnique et normale
Similarity:
Sur une classe d'équations algébriques dont toutes les racines sont réelles
Ch. Biehler (1887)
Nouvelles annales de mathématiques : journal des candidats aux écoles polytechnique et normale
Similarity:
Des quantités négatives. Usage que l’on fait en algèbre des signes et ; règles des signes du calcul algébrique ; utilité des conventions relatives au calcul des quantités négatives
El. Guillon (1849)
Nouvelles annales de mathématiques : journal des candidats aux écoles polytechnique et normale
Similarity:
Spécialisation de la suite de Sturm et sous-résultants (I)
L. González-Vega, H. Lombardi, T. Recio, M.-F. Roy (1990)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Distance entre les racines d'un polynôme
M. Mignotte, M. Payafar (1979)
ESAIM: Mathematical Modelling and Numerical Analysis - Modélisation Mathématique et Analyse Numérique
Similarity:
Remarques sur quelques points de la théorie des équations numériques
(1878)
Nouvelles annales de mathématiques : journal des candidats aux écoles polytechnique et normale
Similarity: