Triangularisation de systèmes constructibles : application à l'évaluation dynamique / par Stéphane Dellière ; sous la direction de Dominique Duval

Date : 1999

Editeur / Publisher : [S.l.] : [s.n.] , 1999

Type : Livre / Book

Langue / Language : français / French

Calcul formel

Algèbres commutatives

Triangulation

Duval, Dominique (19..-.... ; mathématicienne) (Directeur de thèse / thesis advisor)

Université de Limoges. Faculté des sciences et techniques (Autre partenaire associé à la thèse / thesis associated third party)

Université de Limoges (1968-....) (Organisme de soutenance / degree-grantor)

Résumé / Abstract : UNE DES APPLICATIONS DES PROGRAMMES DE LA CLOTURE CONSTRUCTIBLE DYNAMIQUE EST LA TRIANGULARISATION DES SYSTEMES CONSTRUCTIBLES, I.E. DES SYSTEMES POLYNOMIAUX AVEC DES EGALITES ET DES INEGALITES. CEUX-CI SONT DECOMPOSES EN UNE REUNION FINIE DE SYSTEMES CONSTRUCTIBLES TRIANGULAIRES. L'UN DES OBJECTIFS PRINCIPAUX DE CE TRAVAIL EST D'ETABLIR UN MODELE PERTINENT DE CES SYSTEMES DANS LE CADRE DE L'ALGEBRE COMMUTATIVE. SON ELABORATION EST GUIDEE PAR LES ENSEMBLES TRIANGULAIRES DE D. LAZARD ET PERMET D'EFFECTUER LE LIEN AVEC LES TRAVAUX DE P. AUBRY, M. KALKBRENER, D. LAZARD, M. MORENO MAZA ET D.M. WANG. CETTE ETUDE, ALGEBRIQUE ET GEOMETRIQUE, EST MENEE EN PARALLELE AVEC LE CADRE POLYNOMIAL AUTOUR DE DEUX AXES : LES PROPRIETES DE NORMALISATION ET DE SANS CARRE. IL S'AVERE EN PARTICULIER QUE LA CONDITION DE SANS CARRE DE D. LAZARD EST PLUS FAIBLE QUE CELLE DE T. GOMEZ-DIAZ. ON INTRODUIT ET PRIVILEGIE ALORS LA CONDITION DE SANS CARRE DE D. LAZARD AU SEIN DES PROGRAMMES DE LA CLOTURE CONSTRUCTIBLE DYNAMIQUE. PAR AILLEURS, ON PROPOSE UNE IMPLANTATION D'UN ALGORITHME DES SOUS-RESULTANTS INSPIRE DES IDEES DE S.J. BERKOWITZ ET DE J.ABDELJAOUED. UNE DIZAINE D'EXEMPLES DE TRIANGULARISATION DE SYSTEMES CONSTRUCTIBLES VIENNENT ALORS MESURER LA PERTINENCE DE CES MODIFICATIONS.