m

F Nous contacter

0

Documents  18C10 | enregistrements trouvés : 13

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 124 p.

Lecture Notes Series , 0022

Localisation : Séminaire 1er étage

algèbre sur théorie # algèbre universelle # applications de théories # bimodèle # complétude de catégorie algébrique # modèle de théorie algébrique # modèle ou théorie libre # monade # méthode catégorique # produit de Kronecker # sémantique # théorie commutative ou libre # tripléabilité de foncteur oublieux # équivalence de Morita

16S30 ; 17B35 ; 18C10 ; 18C15 ; 18Cxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- x; 426 p.
ISBN 978-0-8218-7281-9

CRM proceedings & lecture notes , 0053

Localisation : Collection 1er étage

théorie des modèles # catégories # théorie de la classification # catégories fibrées

03-06 ; 03C45 ; 03C52 ; 03C90 ; 03G30 ; 18C10 ; 18D05 ; 18D30 ; 00B25 ; 00B30

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xvi; 279 p.
ISBN 978-2-85629-363-8

Séminaires & congrès , 0026

Localisation : Collection 1er étage

Actions naturelles # algèbres de Hopf # algèbres de Lie tordues # algèbres pré-Lie # algèbre dendriforme # algorithme de Buchberger # bases de Gröbner # catégories d'arbres # catégories de Koszul # catégorification # cohomologie de Hochschild # complétion de Knuth-Bendix # confluence # co-opérade de Poisson # diagrammes de flux et de programmation # enchevêtrement # espaces de configurations # foncteur de Schur # forme canonique # Haskell # Homologie des E_n-algèbres # identités entre les relations # méthodes de renormalisation perturbatives # n-catégorie # opérade # opérade des petits disques # polygraphe # pro # prop # présentation par générateurs et relations # réécriture # réécriture de diagrammes # renormalisation # S-modules # théorèmes de PBW # théorèmes libres # théorie algébrique # treillis de Tamari # tresse # type de dérivation fini Actions naturelles # algèbres de Hopf # algèbres de Lie tordues # algèbres pré-Lie # algèbre dendriforme # algorithme de Buchberger # bases de Gröbner # catégories d'arbres # catégories de Koszul # catégorification # cohomologie de Hochschild # complétion de Knuth-Bendix # confluence # co-opérade de Poisson # diagrammes de flux et de programmation # enchevêtrement # espaces de configurations # foncteur de Schur # forme canonique # Haskell # ...

05C05 ; 06A11 ; 08B20 ; 16S15 ; 16G20 ; 17B35 ; 17D99 ; 18D05 ; 18C10 ; 18G15 ; 18D20 ; 18G55 ; 55P48 ; 55R80 ; 55U99 ; 57T30 ; 68Q05 ; 68Q12 ; 68N18 ; 68Q25 ; 68W30 ; 68Q42

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Lecture notes in mathematics , 0125

Localisation : Collection 1er étage

axiome d'égalité en démonstration automatique # démonstration automatique # intérêt heuristique d'utilisation de métathéorème # langage automatique automath # langage de formalisation de démonstration automatique nature # paramodulation et ensemble de support # procédure de décision pour théorie catégorique en Alef # procédure de preuve à réduction de matrice # programme de Hilbert # précision des calculs # recherche de procédure de preuve automatique # système d'axiome en preuve de théorème automatique # théorie de la preuve # théorie de la résolution # théorème de complétude de Herbrand # validité constructive axiome d'égalité en démonstration automatique # démonstration automatique # intérêt heuristique d'utilisation de métathéorème # langage automatique automath # langage de formalisation de démonstration automatique nature # paramodulation et ensemble de support # procédure de décision pour théorie catégorique en Alef # procédure de preuve à réduction de matrice # programme de Hilbert # précision des calculs # recherche de procédure de preuve ...

03-06 ; 03F03 ; 03F50 ; 03Fxx ; 18C10

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 176 p.
ISBN 978-0-8218-5111-1

Contemporary mathematics , 0104

Localisation : Collection 1er étage

catégorie accessible # colimite # foncteur # limite # logique algébrique # logique catégorique # thé orie des modèles abstraite # théorie des modèles catégorique # topos

03C95 ; 03G30 ; 18C10 ; 18D05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 240 p.
ISBN 978-0-387-12711-8

Lecture notes in mathematics , 1038

Localisation : Collection 1er étage

16A64 ; 16A90 ; 18C10 ; 18F20

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xvii; 249 p.
ISBN 978-0-521-11922-1

Cambridge tracts in mathematics , 0184

Localisation : Collection 1er étage

théorie algébrique # équivalence de Morita # théorie des catégories # colimite

18-02 ; 08-02 ; 18C10 ; 08C05 ; 18C05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 168 p.
ISBN 978-3-540-16459-3

Lecture notes in mathematics , 1187

Localisation : Collection 1er étage

18B99 ; 18C10 ; 18C20 ; 18D20 ; 18F20

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-3-540-05678-2

Lecture notes in mathematics , 0236

Localisation : Collection 1er étage

catégorie de faisceau # catégorie exacte additive # catégorie localement présentable # chasse de diagramme # co-limite dirigée en catégorie régulière # cohomologie # congruence # construction sur catégorie régulière et exacte # faisceau d'épimorphisme régulier # faisceau en catégorie régulière # plongement # processus de complétion de Lubkin # représentation de groupe # sous-objet # théorème de transfert pour triple ou co-triple

18A25 ; 18B15 ; 18C10 ; 18D99 ; 18F20

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 260 p.
ISBN 978-3-540-08914-8

Lecture notes in mathematics , 0661

Localisation : Collection 1er étage

catégorie # foncteur # structure des catégories # théorie algébrique des catégories # théorie des catégories # théorie des foncteurs

18A05 ; 18C10 ; 18D20 ; 18D30

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 171 p.
ISBN 978-0-8218-3914-0

Memoirs of the american mathematical society , 0860

Localisation : Collection 1er étage

invariant conformel # théorie des champs quantique # catégorie # pseudo-limite # pseudo-algèbre # algèbre de Lax # biadjoints # champs # théorie des champs conformes

18C10 ; 18C20 ; 81T40 ; 18A30

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xii; 368 p.
ISBN 978-0-19-875891-4

Localisation : Ouvrage RdC (CARA)

topos de Grothendieck # topos classifiant # invariant des topos-théoriques # pont

03-02 ; 03G30 ; 18B25 ; 18C10

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 345 p.
ISBN 978-0-387-96115-6

Grundlehren der mathematischen wissenschaften , 0278

Localisation : Collection 1er étage

18-02 ; 18B25 ; 18C10 ; 18C15 ; 18F10

... Lire [+]

Z