|
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,
|
1 évènement,
-
Résumé. Dans un premier temps, nous présenterons une revue de littérature des résultats d'estimation de ce processus selon différents schémas d'observations. Nous nous intéresserons ensuite à l'estimation jointe des paramètres de tendance, d'échelle et d'activité des sauts, lorsque l'on dispose |
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,
|
1 évènement,
-
In this talk, after recalling some general results on elliptic curves and isogenies, I will present, the various key exchange techniques based on isogenies between, namely Couveignes-Rostovtsev-Stolbunov, SIKE and CSIDH. Then, I give a description of the main ideas that |
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,
|
