|
L
lun
|
M
mar
|
M
mer
|
J
jeu
|
V
ven
|
S
sam
|
D
dim
|
|---|---|---|---|---|---|---|
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
|
0 évènement,
|
1 évènement,
-
Résumé : Je vais parler dans cet exposé de formalisation des mathématiques, le processus "d'expliquer" des théorèmes à un ordinateur. J'expliquerais comment fonctionnent les assistants de preuve et pourquoi ils peuvent être utiles pour les mathématiciens. Je raconterai aussi l'histoire |
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
|
0 évènement,
|
1 évènement,
-
Résumé : La dualité de Schur-Weyl affine quantique donne une équivalence de catégories entre certaines représentations des algèbres affines quantiques de type A et celles des algèbres de Hecke affines, et donc des représentations p-adiques de GLn. A travers cette |
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
0 évènement,
|
