Calcul symbolique avec des diagrammes de Penrose / Anne Massol ; sous la direction de Yves Lafont
Type de document : ThèseLangue : français.Pays: France.Éditeur : [S.l.] : [s.n.], 1997Description : 1 vol. (121 p.) ; 30 cmBibliographie : Bibliogr. p. 121.Sujet MSC : 18A10, General theory of categories and functors, Graphs, diagram schemes, precategories68N15, Computer science - Theory of software, Theory of programming languages
15Axx, Linear and multilinear algebra; matrix theory - Basic linear algebra
68N18, Computer science - Theory of software, Functional programming and lambda calculus
97-02, Research exposition (monographs, survey articles) pertaining to mathematics educationNote de thèse: Thèse de doctorat, informatique et mathématiques, 1997, université de la méditerranée
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Thèse | CMI Réserve | Thèses MAS (Browse shelf(Opens below)) | Available | 00755-01 |
Bibliogr. p. 121
Thèse de doctorat informatique et mathématiques 1997 université de la méditerranée
Nous nous intéressons à un calcul formel de type nouveau où les expressions sont remplacées par des diagrammes que l'on appelle diagrammes de Penrose. En s'appuyant sur la notion de catégorie monoïdale, Burroni a établi le fondement théorique de ce type de calcul. Lafont a proposé une définition formelle des diagrammes et a décrit quelques exemples de calculs planaires. Ces définitions et résultats sont rappelés dans le premier chapitre. Afin de faciliter l'utilisation de ce calcul nous avons réalisé un logiciel avec une interface graphique pour la manipulation de ces diagrammes. Ce travail est décrit dans le deuxième chapitre. Dans le troisième chapitre, nous étudions un certain nombre de problèmes algorithmiques liés à ce calcul (calcul de formes normales, reconnaissance de l'isotopie...). Dans le dernier chapitre, nous démontrons que la présentation finie proposée par Burroni et Lafont pour la catégorie monoïdale des ensembles finis (l'exemple de base de la théorie) est en fait minimale, c'est-à-dire qu'elle ne contient pas d'équation superflue. Cette preuve a été obtenue à l'aide de l'ordinateur par une recherche systématique de modèles finis.
There are no comments on this title.