Évènements
Rechercher un événement
COUNT 2023 - COmputations and their Uses in Number Theory
Conference
MAIN PAGE OF THE THEMATIC SEMESTER MAIN PAGE OF THEMATIC MONTH MAIN PAGE OF THE JEAN-MORLET CHAIR SEMESTER CONFERENCE COUNT, COmputations and their Uses in [...]
From classical to quantum mechanics
Sami Viollet
During this presentation, we will see the so-called canonical quantization procedure, allowing to build a quantum theory (i.e. adapted to describe physical phenomena taking place [...]
La réduction des termes à ressources induit une extension conservative de la β-réduction sur les λ-termes
Rémy Cerda
Tout est dans le titre, qu’on aura peut-être le temps de prolonger par : « On a en outre des raisons raisonnables de penser que, [...]
Métriques de Kähler canoniques et quantification
Louis Ioos
Le recherche de métriques de Kähler canoniques sur les variétés projectives peut être considérée comme une tentative d'extension du théorème d'uniformisation des surfaces de Riemann [...]
