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
-
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
-
Comparing Semantic Frameworks for Dependently-Sorted Algebraic Theories
Ahrens, B., Lumsdaine, P. L. F. & North, P. R., 2025, Programming Languages and Systems - 22nd Asian Symposium, APLAS 2024, Proceedings. Kiselyov, O. (ed.). Springer, p. 3-22 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15194 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
-
Idempotents and homology of diagram algebras
Boyde, G., 2025, In: Mathematische Annalen. 391, 2, p. 2173–2207 35 p., 105446.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile -
Modules over orders, conjugacy classes of integral matrices, and abelian varieties over finite fields
Marseglia, S., Mar 2025, In: Research in Number Theory. 11, 1, 27.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile
Activities
-
T-dualiy beyond torus bundles
Cavalcanti, G. (Speaker)
26 Jul 2024Activity: Talk or presentation › Invited talk › Academic
-
T-duality beyond torus bundles
Cavalcanti, G. (Speaker)
24 Sept 2024Activity: Talk or presentation › Invited talk › Academic
-
Mini course: The geometry and topology of T-duality
Cavalcanti, G. (Speaker)
2 Sept 2024 → 5 Sept 2024Activity: Talk or presentation › Invited talk › Academic
-
Master Class on New Developments in Finite Generation of Cohomology
van der Kallen, W. (Participant)
25 Sept 2023 → 27 Sept 2023Activity: Participating in or organising an event › Workshop, seminar, course › Academic
-
Chia Fu Yu
Karemaker, V. (Host)
23 Apr 2023 → 7 May 2023Activity: Hosting a visitor › Hosting an academic visitor › 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