m

F Nous contacter

0

Documents  68Q05 | enregistrements trouvés : 85

O

-A +A

P Q

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.

- 147 p.
ISBN 978-0-8218-3600-2

Contemporary mathematics , 0381

Localisation : Collection 1er étage

théorie quantique # théorie des codes # calcul quantique # cryptographie # informatique # base de Gröbner # courbe algébrique

81P68 ; 68Q05 ; 94B05 ; 05E20

... Lire [+]

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

- 483 p.
ISBN

Astérisque , 0266

Localisation : Périodique 1er étage

équation d'onde # optique géométrique # champs de vecteur # problème de Goursat # focntion L # valeur spéciale # théorie d'Iwasawa # motif # fonction L p-adique # conjecture de Beilinson # lois de réciprocité # conjecture de Leopold # variété projective # fibré en droite # tenseur de courbure # fibré positif # fibré ample # fibré nef # faisceau d'idéau multiplicateur de Nadel # théorème d'annulation # système linéaire adjoint # conjecture de Fujita # mouvement Brownien dans un environnement aléatoire # mesure typique et moyennée # méthode de grossissement des obstacles # mécanique céleste # petit diviseur # théorie KAM # comportement chatique # arbre # fibré # groupe # hakénien # hyperbolique # kleinien # lamination # quasi-conforme # représentation # surface # Teichmüller # variété # résonance # quasi-mode # formule de trace # diffusion # conjecture de Langlands # forme automorphe # variété de Shimura # groupe unitaire # groupe formel # algèbre de Lie simple # réplique-symétrique # champs moyen # état pur # modèle de Hopfield # modèle de Sherrington-Kirkpatrick # perceptron binaire # 1-forme rationelle # fonction localement analytique # variété abélienne # période p-adique # opérateur de Frobenius # polylogarithme p-adique # holonomie # système extèrieur différentiel # calcul classique # calcul quantique # univers constructif # problème P/NP # factorisation rapide # algorithme de Shor # conjecture de Kapler # empilement de sphère # Lie # ordinateur # plongement # simple # toral # torsion équation d'onde # optique géométrique # champs de vecteur # problème de Goursat # focntion L # valeur spéciale # théorie d'Iwasawa # motif # fonction L p-adique # conjecture de Beilinson # lois de réciprocité # conjecture de Leopold # variété projective # fibré en droite # tenseur de courbure # fibré positif # fibré ample # fibré nef # faisceau d'idéau multiplicateur de Nadel # théorème d'annulation # système linéaire adjoint # conjecture de ...

35L40 ; 11Fxx ; 11Gxx ; 11Rxx ; 11Sxx ; 14Fxx ; 14Gxx ; 14C30 ; 14F17 ; 14J60 ; 60K40 ; 82D30 ; 70F10 ; 70F15 ; 70K55 ; 37J05 ; 57M07 ; 57M50 ; 20E08 ; 51M10 ; 35L05 ; 35P25 ; 11F70 ; 11G18 ; 11R39 ; 14L05 ; 17B20 ; 60G70 ; 60G15 ; 90C27 ; 14Hxx ; 14Kxx ; 14Lxx ; 30Fxx ; 30Gxx ; 32Jxx ; 53C10 ; 53B05 ; 58A15 ; 68Q05 ; 68P25 ; 68Q25 ; 81P99 ; 51M04 ; 51M16 ; 52C17 ; 20-XX ; 22-XX

... Lire [+]

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

- 381 p.
ISBN 978-0-521-60857-2

London mathematical society lecture note series , 0316

Localisation : Collection 1er étage

théorie de la démonstration # logique linéaire # calcul lambda # théorie des catégories # programmation logique # système distribué # linguistique # logique et mécanique quantique

03B20 ; 03B35 ; 03B40 ; 03B47 ; 03B65 ; 03B70 ; 03F03 ; 03F05 ; 03F07 ; 03F52 ; 03G30 ; 18C50 ; 68Q05 ; 68Q10 ; 68Q55 ; 68T50 ; 81P10

... Lire [+]

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

- 224 p.
ISBN 978-0-8218-3483-1

Contemporary mathematics , 0349

Localisation : Collection 1er étage

théorie des groupes # groupe de permutation # groupe non-abélien # théorie quantique # informatique # algorithme # groupe d'automorphisme # calcul quantique

20B40 ; 20E05 ; 20F28 ; 81P68 ; 68Q05 ; 68Q17 ; 68Q42 ; 68Q45 ; 68T05

... Lire [+]

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

- 358 p.
ISBN 978-0-8218-2084-1

Proceedings of symposia in applied mathematics , 0058

Localisation : Collection 1er étage

théorie quantique # calcul quantique # algorithme quantique # complexité quantique # code correcteur d'erreur # cryptographie quantique

81-01 ; 81-02 ; 81P68 ; 68Q05 ; 94A60

... Lire [+]

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

- 249 p.
ISBN 978-0-8218-2053-7

DIMACS series in discrete mathematics and theoretical computer science , 0054

Localisation : Collection 1er étage

calcul moléculaire # calcul sur les bases d'ADN # informatique # modèle de calcul # mode calculatoire # biologie # ADN # biomathématique # génétique # bioinformatique # biophysique # combinatoire

68-02 ; 68Q05 ; 68Q10 ; 68M99 ; 92-00 ; 92B05 ; 92B20 ; 92C05

... Lire [+]

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

Localisation : Colloque 1er étage (MARS)

calcul # calcul géométrique # informatique théorique # machine # machine aléatoire # nombre réel # programme numérique # solution arithmétique

11-02 ; 12-02 ; 65-XX ; 68Q05 ; 68Qxx ; 68Rxx

... Lire [+]

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

- 295 p.
ISBN 978-4-931469-02-0

Msj memoirs , 0002

Localisation : Colloque 1er étage (TOKY)

arbre de Böhm # calcul lambda # logique # logique d"ordre supérieur # logique linéaire # modèle lambda # preuve mathématique des systèmes constructifs # système d"attribution de type # théorie des types

03B15 ; 03B40 ; 03F05 ; 03F50 ; 68Q05

... Lire [+]

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

- 306 p.
ISBN 978-0-8218-1184-9

DIMACS series in discrete mathematics and theoretical computer science , 0050

Localisation : Collection 1er étage

algorithme de calcul # algorithme numérique # algorithmique # algèbre numérique # calcul des algorithmes numériques # calcul parallèle # complexité des algorithmes # gestion de mémoire # infographie # informatique théorique # mathématique discrète # modèle de calcul # structure des données # traitement des données

65Fxx ; 65Y20 ; 68Pxx ; 68Q05 ; 68Q25 ; 68R01 ; 68R10 ; 68U05 ; 68W01 ; 68W40

... Lire [+]

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

- 375 p.
ISBN 978-0-8218-0842-9

DIMACS series in discrete mathematics and theoretical computer science , 0048

Localisation : Collection 1er étage

ADN # algorithme de graphe # algorithme distribué # algorithme parallèle # biomathématique # calcul formel # informatique théorique # langage formel # mode calculatoire # molécule # réécriture de système

05C85 ; 68-06 ; 68Q05 ; 68Q10 ; 68Q22 ; 68Q42 ; 68Q45 ; 92-06

... Lire [+]

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

- 160 p.
ISBN 978-0-8218-0992-1

DIMACS series in discrete mathematics and theoretical computer science , 0045

Localisation : Collection 1er étage

algorithme # analyse # application # combinatoire # cryptographie # graphe # industrie # mathématique appliquée # mobile # passage # protocole réseau # réseau ATM # réseau de communication # réseau radio # système distribué # théorie des graphes # traitement des données # électronique

05C05 ; 05C10 ; 05C38 ; 05C85 ; 05C90 ; 68M07 ; 68M10 ; 68M20 ; 68Q05 ; 68Q10

... Lire [+]

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

- 275 p.
ISBN 978-0-8218-0756-9

DIMACS series in discrete mathematics and theoretical computer science , 0044

Localisation : Collection 1er étage

biochimie # biologie cellulaire # biomathématique # calcul # dynamique de l'ADN # informatique théorique # modélisation # protéine

68Q05 ; 92-06 ; 92B05 ; 92C40

... Lire [+]

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

- 592 p.
ISBN 978-3-540-61550-7

Lecture notes in computer science , 1113

Localisation : Collection 1er étage

aspect calculatoire # informatique théorique # ingineering logiciel # langage formel # logique # mathématique discrète # mode de calcul # système d

68Mxx ; 68N25 ; 68Nxx ; 68Q05 ; 68Q10 ; 68Q40 ; 68Q45 ; 68Q60 ; 68Qxx ; 68Rxx

... Lire [+]

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

- 741 p.
ISBN 978-3-540-19488-0

Lecture notes in computer science , 0317

Localisation : Collection 1er étage

algorithmique # algèbre de l informatique # analyse numérique # architecture # calcul informatique pour dispositif abstrait # informatique théorique # intelligence artificielle # organisation des systems # problème de complexité # processeur # structure des données

68M07 ; 68Mxx ; 68P05 ; 68Q05 ; 68Q25 ; 68Q28 ; 68Q70 ; 68Qxx

... Lire [+]

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

- 371 p.
ISBN 978-3-540-63757-8

Lecture notes in computer science , 1335

Localisation : Collection 1er étage

analyse des algorithmes # calcul des algorithmes # calcul informatique # classe de complexité # décomposition de graphe # informatique théorique # langage formel # logique # logique mathématique # mathématique discrète # mode de calcul # spécification des programmes # structure des données # théorie des graphes

68Q05 ; 68Q10 ; 68Q15 ; 68Q45 ; 68Qxx

... Lire [+]

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

- 680 p.
ISBN 978-3-540-61440-1

Lecture notes in computer science , 1099

Localisation : Collection 1er étage

algorithme de graphe # algorithme parallèle # algorithmique # calcul informatique # codage # combinatoire # complexité algébrique # informatique théorique # intelligence artificielle # langage de programmation # mathématique de l'informatique # mathématique discrète # spécification de système # théorie de l'information

68M05 ; 68Mxx ; 68Q05 ; 68Q10 ; 68Qxx

... Lire [+]

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

- 788 p.
ISBN 978-3-540-51371-1

Lecture notes in computer science , 0372

Localisation : Collection 1er étage

algorithmique # approximation # architecture des processus # déduction # grammaire des graphes # informatique théorique # logique de programmation # mathématique discrète # méthodologie du calcul informatique # optimisation # organisation des systèmes # probabilité # spécification # spécification algébrique # structure des données # système informatique # théorème de preuve

68Mxx ; 68N17 ; 68Nxx ; 68P05 ; 68Q05

... Lire [+]

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

- 310 p.
ISBN 978-3-540-62592-6

Lecture notes in computer science , 1203

Localisation : Collection 1er étage

algorithme # calcul informatique # complexité des algorithmes # géométrie de l'informatique # informatique graphique # mathématique discrète # mode de calcul # modèle de calcul # modélisation d'objet # méthodologie # structure des données

68P05 ; 68Q05 ; 68Q10 ; 68Q25 ; 68Qxx

... Lire [+]

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

- 406 p.
ISBN 978-3-540-62559-9

Lecture notes in computer science , 1197

Localisation : Collection 1er étage

analyse d'algorithme # calcul informatique # classe de complexité # concept de graphe théorique # géométrie de l'informatique # informatique théorique # langage formel # logique et signification de programme # logique mathématique # mathématique discrète # mode de calcul # modélisation d'objet # problème de complexité # structure des données # théorie des graphes

68Q05 ; 68Q10 ; 68Q15 ; 68R10 ; 68Rxx

... Lire [+]

Z