#mathematics #math #NumberTheory #ArithmeticGeometry #prize
Source:https://buff.ly/xFNixMU

Johan Commelin I work part-time as universitair docent (assistant professor) at Utrecht University, and part time at the Lean FRO. My main interests lie in arithmetic geometry and formalization of mathematics. From…

I'm delighted that Johan Commelin has joined the editorial board at #ExperimentalMath . Johan is an expert in #arithmeticgeometry with an interest in the formalisation of mathematics, and a member of Utrecht University and the #Lean FRO.

Embeddings of Certain Exceptional Shimura Varieties into Siegel Modular
Varieties
Ali Partofard, Mohammad Hadi Hedayatzadeh
Paper
Details
#ShimuraVarieties #SiegelModularVarieties #ArithmeticGeometry