Normal view MARC view ISBD view

Formes canoniques dans les algèbres finiment présentées / Philippe Le chenadec ; sous la direction de Gerard Huet

Auteur principal : Le Chenadec, Philippe, AuteurAuteur secondaire : Huet, Gérard, 1947-, Directeur de thèseAuteur secondaire collectivité : Université Paris-Sud, Etablissement de soutenanceType 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, Linear and multilinear algebra; matrix theory -- Basic linear algebra, Canonical forms, reductions, classification
15-02, Linear and multilinear algebra; matrix theory, Research exposition (monographs, survey articles)
Note de thèse: Thése de doctorat, mathématiques, 1983, Paris-sud centre d'orsay
Tags from this library: No tags from this library for this title. Log in to add tags.
Current location Call number Status Date due Barcode
CMI
Salle S
Thèses LEC (Browse shelf) 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 for this item.

Log in to your account to post a comment.