Johan Commelin

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Growing Mathlib: maintenance of a large scale mathematical library	2026-02-19	Paper
Anatomy of a formal proof Notices of the American Mathematical Society	2025-12-05	Paper
Abstraction boundaries and spec driven development in pure mathematics Bulletin of the American Mathematical Society	2024-04-03	Paper
The Mumford-Tate conjecture implies the algebraic Sato-Tate conjecture of Banaszak and Kedlaya Indiana University Mathematics Journal	2023-01-13	Paper
Liquid tensor experiment Mitteilungen der Deutschen Mathematiker-Vereinigung (DMV)	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 Transactions of the American Mathematical Society	2020-02-26	Paper
[https://portal.mardi4nfdi.de/wiki/Publication:5204042 The Mumford�Tate conjecture for products of abelian varieties] Algebraic Geometry	2019-12-09	Paper
Formalising perfectoid spaces	2019-10-27	Paper
On compatibility of the $\ell$-adic realisations of an abelian motive Annales de l’institut Fourier	2019-10-07	Paper
The Mumford-Tate conjecture for the product of an abelian surface and a $K3$ surface Documenta Mathematica	2017-01-16	Paper
The Mumford-Tate conjecture for the product of an abelian surface and a $K3$ surface Documenta Mathematica	2017-01-16	Paper

Research outcomes over time

This page was built for person: Johan Commelin