Sophie Morel - 1/3 Shimura Varieties
Researcher Profile: Sophie Morel
Sophie Morel - Shimura Varieties (3/3)
Prof. Sophie Morel | Lean projects for introverts
Sophie Morel - 2/3 Shimura Varieties
Sophie Morel - Intersection cohomology of Shimura varieties and pizza
A Formalization Experiment - Sophie Morel
Sophie Morel - Nori's construction in Lean. (Lean Together 2026)
FOCUS CHAMPION - Anne Sophie Morel revient sur la victoire de Caprice de Laume
Morel hiIntersection cohomology is useless - Sophie Morel
The Weil Conjectures, from Abel to Deligne - Sophie Morel
Sophie Morel bénévole délégation régionale Bretagne de l'Alliance maladies rares
[Conférence SML] Troisième problème de Hilbert et puzzles polyèdres -- Sophie Morel
Talk by Sophie Morel (ENS de Lyon)
8:06:2017 SMASH PERRIER Sophie Morel
CIR Auvers 2016 - Anne Sophie Morel (Caprice de Laume)
Marche des maladies rares, 4 décembre 2021, interview #4, Sophie Morel
# Add1Challenge : Learning Azerbaijani in 90 days
LA PILULE💊 "Les doutes" avec Sophie MOREL
Lean Together 2024: Sophie Morel, Formalising Grassmannians in Lean