Research output per year
Research output per year
UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. Our work contributes towards the following SDG(s):
Fingerprint
Dive into the research topics where Fundamental mathematics is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.
Publication network from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research units
Research output
-
Growing Mathlib: maintenance of a large scale mathematical library
Baanen, A., Ballard, M. R., Commelin, J., Chen, B. G., Rothgang, M. & Testa, D., 2026, Intelligent Computer Mathematics - 18th International Conference, CICM 2025, Proceedings. de Paiva, V. & Koepke, P. (eds.). Springer Science and Business Media Deutschland GmbH, p. 51-70 20 p. (Lecture Notes in Computer Science; vol. 16136 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
-
Abelian varieties with no power isogenous to a Jacobian
de Gaay Fortman, O. & Schreieder, S., 30 Oct 2025, In: Compositio Mathematica. 161, 6, p. 1404-1457 54 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile -
Algebraic Presentations of Type Dependency
Ahrens, B., Emmenegger, J., North, P. R. & Rijke, E., 6 Feb 2025, In: Logical Methods in Computer Science. 21, 1, p. 14:1-14:71Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile -
Anatomy of a Formal Proof
Avigad, J., Commelin, J., Macbeth, H. & Topaz, A., Feb 2025, In: Notices of the American Mathematical Society. 72, 2, p. 188-195 8 p.Research output: Contribution to journal › Comment/Letter to the editor › Academic › peer-review
Open AccessFile -
Arithmetic representations of mapping class groups
Looijenga, E., 2025, In: Algebraic and Geometric Topology. 25, 2, p. 677-698 22 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile
Activities
-
T-duality for Transgressive Fibrations
Cavalcanti, G. (Speaker)
16 Apr 2025Activity: Talk or presentation › Invited talk › Academic
-
Mastermath
Cavalcanti, G. (Speaker)
16 May 2025Activity: Talk or presentation › Invited talk › Professional
-
Almost complex vs generalized complex
Cavalcanti, G. (Speaker)
8 Sept 2025 → 12 Sept 2025Activity: Talk or presentation › Invited talk › Academic
-
T-duality for Transgressive Fibrations
Cavalcanti, G. (Speaker)
3 Jul 2025Activity: Talk or presentation › Invited talk › Academic
-
T-duality for Transgressive Fibrations
Cavalcanti, G. (Speaker)
10 Apr 2025Activity: Talk or presentation › Invited talk › Academic
Prizes & Grants
-
-
-
-
Elected member of the Royal Netherlands Academy of Arts and Sciences (KNAW)
Crainic, M. N. (Recipient), 2016
Prize: Election to learned society
-
Elected member of the Royal Netherlands Academy of Arts and Sciences (KNAW)
Faber, C. F. (Recipient), 2014
Prize: Election to learned society