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 “Spécialisation de la suite de Sturm et sous-résultants (I)”
Spécialisation de la suite de Sturm
Algorithme de Bareiss, algorithme des sous-résultants
Lionel Ducos (1996)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Algorithmes rapides pour les polynômes, séries formelles et matrices
Alin Bostan (2010)
Les cours du CIRM
Similarity:
Factorisation sur des polynômes de degré élevé à l’aide d’un monomorphisme
Guy Viry (1990)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Algorithme de multiplicativité des sommes de carrés
Odile Simon (1992)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
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
Jocelyne Rouyer (1991)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Factorisation des polynômes à plusieurs variables
Guy Viry (1980)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity: