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
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
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
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
The purpose of this work is to define an adequate efficiency bound in some models presenting some identification problems. We show how it is possible to define such bounds in some regular semi-parametric models when an identifying constraint is available.
Positroid varieties are subvarieties of the Grassmannian that appear in Postnikov's approach to total positivity. For this reason and others, it was long expected that their coordinate rings should carry a cluster algebra structure, and this expectation was finally confirmed
Résumé : Nous considérons une marche aléatoire aux plus proches voisins sur un arbre de Galton-Watson, en milieu aléatoire. Plus précisément, nous pondérons les arêtes de cet arbre par des v.a. i.i.d. positives, et nous considérons la marche aléatoire dont
Attention, l'exposé aura lieu à 15h en ligne ! Je vais présenter une correspondance entre invariants de Donaldson-Thomas des carquois et comptages de courbes rationnelles sur les variétés toriques. C'est un travail en commun avec Hülya Argüz (arXiv:2302.02068).
Résumé : Soit \(G\) un groupe réductif un corps fini \(\mathbb{F}_q\). La théorie de Deligne-Lusztig est un outil très puissant pour étudier les représentations de \(G(\mathbb{F}_q)\). Dans cet exposé, j'expliquerai comment en utilisant la théorie des faisceaux sur les champs
Dans cet exposé, on s'intéresse à un certain type de champ aléatoire: le champ de Brown-Resnick. La loi de ce dernier est décrite par deux paramètres: l'un d'échelle, l'autre de Hurst. On suppose que le champ est observé dans une
