MARC View

Normal View MARC View Expanded MARC View ISBD View

Calcul symbolique avec des diagrammes de Penrose (Record no. 9720)

000 -Label
leader 02491nac 22003011u 4500
010 ## - ISBN
qualificatif br.
090 ## - Numéro biblio (koha)
Numéro biblioitem (koha) 9720
001 - Numéro de notice
Numéro d'identification notice 9720
101 ## - Langue
langue du document français
102 ## - Pays de publication ou de production
pays de publication France
100 ## - Données générales de traitement
données générales de traitement 20091130 frey50
200 ## - Titre
titre propre Calcul symbolique avec des diagrammes de Penrose
type de document Thèse
Auteur Anne Massol
Auteur secondaire sous la direction de Yves Lafont
210 ## - Editeur
lieu de publication [S.l.]
nom de l'éditeur [s.n.]
date de publication 1997
215 ## - Description
Importance matérielle 1 vol. (121 p.)
format 30 cm
320 ## - Note
note Bibliogr. p. 121
328 ## - Note sur les thèses
détails sur la thèse Thèse de doctorat
discipline informatique et mathématiques
date du diplome 1997
organisme délivrant le diplome université de la méditerranée
330 ## - Résumé
Résumé 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.
676 ## - annee msc
annee msc 2010
686 ## - Classification MSC
code du système msc
lien interne koha 162408
Indice 18A10
Libellé Category theory; homological algebra -- General theory of categories and functors
Sous-catégorie Graphs, diagram schemes, precategories
686 ## - Classification MSC
code du système msc
lien interne koha 165877
Indice 68N15
Libellé Computer science -- Software
Sous-catégorie Programming languages
686 ## - Classification MSC
code du système msc
lien interne koha 162139
Indice 15Axx
Libellé Linear and multilinear algebra; matrix theory
Sous-catégorie Basic linear algebra
686 ## - Classification MSC
code du système msc
lien interne koha 165879
Indice 68N18
Libellé Computer science -- Software
Sous-catégorie Functional programming and lambda calculus
700 ## - Auteur
code de fonction Auteur
auteur Massol
partie du nom autre que l'élément d'entrée Anne
koha internal code 181855
702 ## - Nom de personne - mention de responsabilité secondaire
code de fonction Directeur de thèse
koha internal code 181795
nom Lafont
prénom Yves
dates 1961-
712 ## - collectivité - mention de responsabilité secondaire
code de fonction Etablissement de soutenance
champ interne Koha 171450
élément d'entrée Université de la Méditerranée
subdivision Marseille
Copies
niveau de localisation dépositaire permanent cote Propriétaire Origine Perdu Code barre Statut
Salle SCMIThèses MASCMIdonPrésent00755-01 Disponible
Languages: English | Français | |