Formes canoniques dans les algèbres finiment présentées / Philippe Le chenadec ; sous la direction de Gerard Huet
Type de document : ThèseLangue : français.Pays: France.Éditeur : [S.l.] : [s.n.], 1983Description : 1 vol. (184 p.) ; 30 cmISBN: 2726103448.Bibliographie : Bibliogr. p. 175-184.Sujet MSC : 15A21, Basic linear algebra, Canonical forms, reductions, classification15-02, Research exposition (monographs, survey articles) pertaining to linear algebraNote de thèse: Thése de doctorat, mathématiques, 1983, Paris-sud centre d'orsay Item type:

Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|
CMI Salle S | Thèses LEC (Browse shelf(Opens below)) | Available | 09120-01 |
Bibliogr. p. 175-184
Thése de doctorat mathématiques 1983 Paris-sud centre d'orsay
On présente une étude des formes canoniques dans les algèbres présentées par générateurs et relations. Après un exposé du formalisme adopté (systèmes de réécriture et algorithme de complétion de Knuth-Bendix), il est montré que celui-ci fournit des algorithmes de mise sous forme canonique des présentations finies de monoïdes, groupes, anneaux, modules et algèbres. Cette approche permet de retrouver, et dans certains cas d'étendre le champ d'application d'algorithmes classiques. On donne un catalogue de présentations complètes fournies par l'implantation en Lisp des algorithmes décrits
There are no comments on this title.