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 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
Profiles
-
Erik van den Ban
- Faculty of Science, Sub Fundamental Mathematics - Professor
Person: Guest, Contract or Emeritus
-
Robbin Bastiaansen
- Faculty of Science, Sub Physical Oceanography - Assistant Professor
- Faculty of Science, Sub Mathematical Modeling - Assistant Professor
Person: Assistant Professor
-
Pieter Belmans
- Faculty of Science, Sub Fundamental Mathematics - Assistant Professor
Person: Assistant Professor
-
Chiheb Ben Hammouda
- Faculty of Science, Sub Mathematical Modeling - Assistant Professor
Person: Assistant Professor
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
-
Accelerating slow continued fractions
Sanderson, S. (Speaker)
7 Nov 2024Activity: Talk or presentation › Invited talk › Academic
-
Matching for a family of symmetric golden maps
Sanderson, S. (Speaker)
21 May 2024Activity: Talk or presentation › Invited talk › 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-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
In the media
-
WetenschapsPodcast 'de Fascinatievolger'
1/12/18
1 item of Media coverage
Press/Media: Public Engagement Activities
Prizes & Grants
-
-
-
-
-
Docent van het jaar prijs van de Universiteit Utrecht
Hogendijk, J. (Recipient), 1997
Prize: Prize (including medals and awards)