Évènements
Rechercher un événement
The analysis of relativistic quantum systems
Conference (CIRM, Luminy, Marseille)
CONFERENCE The analysis of relativistic quantum systems Analyse de systèmes quantiques relativistes 9 – 13 January, 2023 Scientific Committee Comité scientifique Li Chen (University of Mannheim) [...]
Découpages des variétés lisses en gentils morceaux
Delphine Moussard (I2M, AGT, Aix-Marseille Université)
Composition du jury - à venir Introduction à venir
Primes of the form x^2+ny^2
Paul Boisseau (I2M, AMU)
Résumé : Soit n un entier relatif. Quels sont les nombres premiers p qui peuvent être écrits sous la forme p=x^2+ny^2, où x et y [...]
An interpretation (by parametricity) of E-HA^ω inside HA^ω
Félix Castro (IRIF, Paris Cité)
HA^ω (Higher Type Arithmetic) is a first order many sorted theory. It is a conservative extension of HA (Heyting Arithmetic a.k.a the intuitionistic version of Peano Arithmetic) obtained by extending the syntax of terms to [...]
Pourquoi les modules quantiques ?
Stéphane Baseilhac (IMAG, Université de Montpellier)
S'il est un objet proéminent de la topologie quantique, c'est l'algèbre des écheveaux de Kauffman associée à une surface orientée de type fini. Par exemple, [...]
Sur l'uniformité différentielle des polynômes sur les corps finis de caractéristique paire
Ali Issa (I2M, Aix-Marseille Université)
On étudie dans cette présentation l’uniformité différentielle des polynômes de degré pair définis sur des corps finis de caractéristique 2. Une caractérisation des polynômes Morse [...]
