Ce mémoire se veut une étude détaillée de ce que sont les bases de Groebner, de la manière dont on les calcule et dans quels cas elles sont utiles et utilisées. Un éventail de définitions, de théorèmes, de lemmes et de propositions sont énoncés et démontrés afin que les lecteurs, lectrices, intéressé(e)s, puissent avoir les ressources nécessaires leur permettant de comprendre vraiment ce que sont les bases de Groebner. Ce travail propose également une définition précise de ce que sont les ordres monomiaux et élabore une formulation claire de leur classification. Ce mémoire donne, en plus, une description des algorithmes sous forme de procédures, programmés en utilisant le logiciel Maple 10 qui sont mis en annexe. Tous les algorithmes, décrits en pseudo-code, ont été programmés de manière naïve, c'est-à-dire, sans astuce de programmation afin d'en réduire le temps d'exécution ou l'espace mémoire occupé. Cela afin de faire voir aux lecteurs, lectrices, intéressé(e)s, comment se font les calculs. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Anneau, Idéal, Base de Groebner, Module, Ordre monomial, Ordre monoïdal.

Les fonctions de treillis, apparaissent être des outils essentiels en recherche opérationnelle. Elles ouvrent en effet de nouveaux champs d'application en théorie des jeux coopératifs, et en aide à la décision (les jeux sont dans ce cas des capacités, ou mesures floues). Cette thèse a pour objet l'investigation de concepts de solutions pour les jeux définis sur des structures générales de coalitions. À cette fin, nous proposons plusieurs généralisations et axiomatisations de la valeur de Shapley pour les jeux multi-choix, les jeux à actions combinées, et les jeux réguliers. L'indice d'interaction quantifie la véritable contribution d'une coalition par rapport à toutes ses sous-coalitions. Mathématiquement, il s'agit d'un prolongement de la valeur de Shapley. Nous proposons des axiomatisations de l'indice d'interaction de Shapley pour les jeux bi-coopératifs, ainsi que des procédés calculatoires permettant de déterminer l'opérateur d'interaction et son inverse.

The thesis focuses on two open problems on finite partially ordered sets: the structure of order polytopes and the approximation of the number of linear extensions of a poset by mean of graph entropy. The polytopes considered here are the linear ordering polytope, the semiorder polytope, the interval order polytope, the partial order polytope and also a generalisation of the linear ordering polytope: the linear extension polytope of a fixed poset P. Various results on the structure of theses polytopes are proved in the first part of the thesis. In the second part of the thesis, we improve the existing bounds linking the entropy of the incomparability graph of the poset P and its number of linear extension. / Le but de la thèse est d'étudier deux problèmes ouverts sur les ensembles ordonnés finis: la structure des polytopes d'ordre et l'approximation du nombre d'extensions linéaires d'un ordre partiel au moyen de la notion d'entropie de graphe. Les polytopes considérés sont le polytope des ordres totaux, le polytope des semiordres, le polytope des ordres d'intervalles, le polytope des ordres partiels, ainsi qu'une généralisation du polytope des ordres totaux: le polytope des extensions linéaires d'un ensemble ordonné fixé P. Des résultats sur la structure de ces polytopes sont présentés dans la première partie de la thèse. Dans la deuxième partie de la thèse, nous améliorons les bornes existantes liant l'entropie du graphe d'incomparabilité d'un ordre partiel et son nombre d'extensions linéaires. / Doctorat en Sciences / info:eu-repo/semantics/nonPublished