Research output per year
Research output per year
Fingerprint
Dive into the research topics where Mathematical Institute 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
-
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 -
An analysis of constraint-relaxation in PDE-based inverse problems
van Leeuwen, T. & Yang, Y., Feb 2025, In: Inverse Problems. 41, 2, 025009.Research output: Contribution to journal › Article › Academic › peer-review
-
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
-
A nearly optimal randomized algorithm for explorable heap selection
Borst, S., Dadush, D., Huiberts, S. & Kashaev, D., 2025, In: Mathematical Programming. 210, 1, p. 75–96 22 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile -
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
Activities
-
T-dualiy beyond torus bundles
Cavalcanti, G. (Speaker)
26 Jul 2024Activity: Talk or presentation › Invited talk › Academic
-
Numeration 2024
Dajani, K. (Organiser), Fokkink, R. (Organiser), Kalle, C. (Organiser), Kraaikamp, C. (Organiser) & Sanderson, S. (Organiser)
3 Jun 2024 → 7 Jun 2024Activity: Participating in or organising an event › Conference › Academic
-
A unifying metrical theory for continued fraction convergents and mediants
Sanderson, S. (Speaker)
29 Jul 2024Activity: Talk or presentation › Poster/paper presentation › 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
Prizes & Grants
-
-
-
-
Docent van het jaar prijs van de Universiteit Utrecht
Hogendijk, J. (Recipient), 1997
Prize: Prize (including medals and awards)
-
Elected member of the Royal Netherlands Academy of Arts and Sciences (KNAW)
Crainic, M. N. (Recipient), 2016
Prize: Election to learned society