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.
| Identifer | oai:union.ndltd.org:LACETR/oai:collectionscanada.gc.ca:QMUQ.1309 |
| Date | January 2008 |
| Creators | Marcotte, Laurence |
| Source Sets | Library and Archives Canada ETDs Repository / Centre d'archives des thèses électroniques de Bibliothèque et Archives Canada |
| Detected Language | French |
| Type | Mémoire accepté, PeerReviewed |
| Format | application/pdf |
| Relation | http://www.archipel.uqam.ca/1309/ |
Page generated in 0.0022 seconds