Construction d'identites algebriques pour le nullstellensatz reel effectif

par HAROUNA WAROU

Thèse de doctorat en Mathématiques et applications

Sous la direction de MARIE FRANCOISE COSTE-ROY.

Soutenue en 1994

à Rennes 1 .

    mots clés mots clés


  • Résumé

    On s'interesse dans ce travail a l'etude de certains problemes lies a la construction des identites pour le theoreme des zeros reel effectif. Plus precisement on demontre que les formules de taylor mixtes outils essentiels pour la construction des identites algebriques pour le nullstellensatz reel peuvent etre etendues aux differentiables, on demontre ensuite que les coefficients intervenant dans ces formules sont des entiers, puis on etablit des majorations les concernant. On introduit apres des nouvelles identites appelees formules de taylor generalisees. Ces identites generalisent les formules de taylor mixtes dans le cas polynomial et donnent une version algebrique du lemme de thom. Lorsqu'on se restreint au cas d'une famille de polynomes en une variable et a coefficients dans un corps reel clos, on montre d'une part qu'un bon controle de la procedure de recollement conduit a une majoration polynomiale sur le degre de l'identite finale par 8md#2 ou d majore les degres des polynomes de depart et m majore le nombre de racines reelles de ces polynomes et leurs derivees successives. D'autre part en se basant sur l'algorithme des suites de sturm-habicht, l'algorithme des egalites ou inegalites polynomiales simultanees et sur certaines methodes de recollement des identites algebriques, on decrit un algorithme qui a partir d'un systeme de conditions de signes generalisees fortement incompatible produit une identite algebrique qui rend l'impossibilite de ce systeme evidente. Cet algorithme est implante dans le systeme de calcul formel axiom


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 157 P.
  • Annexes : 27 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA RENNES 1994/58
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.