Calcul formel en geometrie algebrique reelle applique a la terminaison des systemes de reecriture

Computer algebra in real geometry applied to termination of rewriting systems

• Auteur / Autrice : JOCELYNE ROUYER DEGLI
• Direction : Pierre Lescanne
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1991
• Etablissement(s) : Nancy 1
• Partenaire(s) de recherche : Autre partenaire : Université Henri Poincaré Nancy 1. Faculté des sciences et techniques

Résumé

Les suites de sturm-habicht permettent de determiner le nombre de racines reelles d'un polynome p et les signes d'une liste de polynomes q#1,. . . ,q#k en chacune de ces racines, les polynomes p,q#1,. . . ,q#k etant des polynomes a coefficients reels algebriques. Nous utilisons ces proprietes pour decider si un polynome a n variables et a coefficients entiers admet des racines dans r#+#n et si une inequation polynomiale a plusieurs variables est verifiee pour toute valeur positive ou nulle de ces variables. Nous appliquons ensuite cette methode pour automatiser la preuve de terminaison de systemes de reecriture fondee sur les interpretations polynomiales