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

par JOCELYNE ROUYER DEGLI

Thèse de doctorat en Sciences appliquées

Sous la direction de Pierre Lescanne.

Soutenue en 1991

à Nancy 1 .

    mots clés mots clés


  • 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


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 25 REF

Où se trouve cette thèse ?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : F-ROU
  • Bibliothèque : Université de Lorraine (Villers-lès-Nancy, Meurthe-et-Moselle). Direction de la Documentation et de l'Edition - BU Sciences et Techniques.
  • Accessible pour le PEB
  • Bibliothèque : Centre de recherche INRIA Nancy - Grand Est (Villers les Nancy). Service Information et Edition Scientifiques.
  • PEB soumis à condition
  • Cote : ROUYER c
  • Bibliothèque : Centre de recherche INRIA Nancy - Grand Est (Villers les Nancy). Service Information et Edition Scientifiques.
  • PEB soumis à condition
  • Cote : ROUYER c
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.