Johan Commelin

Available identifiers

zbMath Open commelin.johan-mMaRDI QIDQ504309

List of research outcomes

Publication	Date of Publication	Type
Abstraction boundaries and spec driven development in pure mathematics	2024-04-03	Paper
The Mumford-Tate conjecture implies the algebraic Sato-Tate conjecture of Banaszak and Kedlaya	2023-01-13	Paper
Liquid tensor experiment	2022-10-24	Paper
Model categories for o-minimal geometry	2021-08-26	Paper
Formalizing the Ring of Witt Vectors	2020-10-06	Paper
Exponential periods and o-minimality	2020-07-16	Paper
Exponential periods and o-minimality II	2020-07-16	Paper
On the cohomology of surfaces with $p_g = q = 2$ and maximal Albanese dimension	2020-02-26	Paper
The Mumford�Tate conjecture for products of abelian varieties	2019-12-09	Paper
Formalising perfectoid spaces	2019-10-27	Paper
On compatibility of the \(\ell\)-adic realisations of an abelian motive	2019-10-07	Paper
The Mumford-Tate conjecture for the product of an abelian surface and a \(K3\) surface	2017-01-16	Paper

Research outcomes over time

This page was built for person: Johan Commelin