Dept of Mathematics

2025

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:71

Research output: Contribution to journal › Article › Academic › peer-review

Open Access

File

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 Access

File

AR for Science Education: Students’ Behaviour Patterns and the Relationship Between Cognitive Load, Knowledge Acquisition and Performance

Dominguez Alfaro, J. L., Arztmann, M. & Jeuring, J., 21 Feb 2025, Immersive Learning Research Network - 10th International Conference on Immersive Learning, iLRN 2024, Revised Selected Papers. Krüger, J. M., Pedrosa, D., Beck, D., Bourguet, M.-L., Dengel, A., Ghannam, R., Miller, A., Peña-Rios, A. & Richter, J. (eds.). Springer, p. 302-316 15 p. (Communications in Computer and Information Science; vol. 2271 CCIS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

A taxonomy of didactic roles of dynamic visualization in animated mathematics videos

ten Voorde, A., Piroi, M. & Bos, R., Mar 2025, In: Teaching Mathematics and its Applications. 44, 1, p. 47-67 21 p.

Research output: Contribution to journal › Article › Academic › peer-review

Open Access

File

Book Review: A thirst for win and war, by Adam Zientek: The intoxication of French soldiers on the western front

Snelders, S., Jan 2025, In: Medicine, Conflict and Survival. 41, 1, p. 80-82

Research output: Contribution to journal › Book/Film/Article review › Academic

Checkbox grading of large-scale mathematics exams with multiple assessors: Field study on assessors’ inter-rater reliability, time investment and usage experience

Moons, F., Vandervieren, E. & Colpaert, J., Jun 2025, In: Studies in Educational Evaluation. 85, 14 p., 101443.

Research output: Contribution to journal › Article › Academic › peer-review

Open Access

File

Chemically regulated conical channel synapse for neuromorphic and sensing applications

Kamsma, T. M., Klop, M. S., Boon, W. Q., Spitoni, C., Rueckauer, B. & van Roij, R., 31 Mar 2025, In: Physical Review Research. 7, 1, p. 1-8 8 p., 013328 .

Research output: Contribution to journal › Article › Academic › peer-review

Open Access

File

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

Computing Extreme Storm Surges in Europe Using Neural Networks

Hermans, T. H. J., Hammouda, C. B., Treu, S., Tiggeloven, T., Couasnon, A., Busecke, J. J. M. & van de Wal, R. S. W., 3 Feb 2025, EGUsphere [preprint], p. 1-27, 27 p.

Research output: Working paper › Preprint › Academic

File

Convergence of the deep BSDE method for stochastic control problems formulated through the stochastic maximum principle

Huang, Z., Negyesi, B. & Oosterlee, C. W., Jan 2025, In: Mathematics and Computers in Simulation. 227, p. 553-568 16 p.

Research output: Contribution to journal › Article › Academic › peer-review

Open Access

File

Correction to: Secondary school students’ strategies when interpreting histograms and case-value plots: an eye-tracking study (Educational Studies in Mathematics, (2024), 10.1007/s10649-024-10351-3)

Boels, L., Bakker, A., Van Dooren, W. & Drijvers, P., 21 Jan 2025, (E-pub ahead of print) In: Educational Studies in Mathematics.

Research output: Contribution to journal › Comment/Letter to the editor › Academic › peer-review

Open Access

Critical configurations of the hard-core model on square grid graphs

Baldassarri, S., Jacquier, V. & Zocca, A., 4 Feb 2025, (E-pub ahead of print) In: Combinatorics Probability and Computing. 41 p.

Research output: Contribution to journal › Article › Academic › peer-review

Open Access

Criticality is Associated with Future Psychotherapy Response in Patients with Post-Traumatic Stress Disorder: A Pilot Study

van Lutterveld, R., Sterk, M., Spitoni, C., Kennis, M., van Rooij, S. J. H. & Geuze, E., 2025, In: Chronic Stress. 9, p. 1-8

Research output: Contribution to journal › Article › Academic › peer-review

Open Access

File

De onderzoeker, de ontwerper en de veranderaar: De schurende rollen van de ontwerponderzoeker aan de hand van drie projecten

Translated title of the contribution: Researcher, designer and change maker: Friction between roles in educational research exemplified in three projectsSavelsbergh, E., 2025, In: Van twaalf tot achttien. 2025, 1&2, p. 36-37

Research output: Contribution to journal › Article › Professional

Designing and evaluating a public engagement activity about sea level rise

Vergunst, N., Varol, T. & van Sebille, E., 12 Mar 2025, In: Geoscience Communication. 8, 1, p. 67-80 14 p.

Research output: Contribution to journal › Article › Academic › peer-review

Open Access

File

Effects of a Learning Trajectory for statistical inference on 9th-grade students’ statistical literacy

van Dijke-Droogers, M., Drijvers, P. & Bakker, A., 2025, In: Mathematics Education Research Journal. 37, 1, p. 187–210 24 p.

Research output: Contribution to journal › Article › Academic › peer-review

Open Access

File

Entering the car park - Primary pupils'spontaneous understanding of programmed control systems in their daily life environment

Dummer, G., Savelsbergh, E. & Drijvers, P., 2025, In: Informatics in Education. 24, 1, p. 77-97 21 p.

Research output: Contribution to journal › Article › Academic › peer-review

Environmental Knowledge and Willingness to Act Pro-environmentally: Final Remarks

Isac, M. M., Sass, W. & Sandoval-Hernández, A., 11 Jan 2025, Knowledge and Willingness to Act Pro-Environmentally. Springer, p. 167-178 12 p. (IEA Research for Education; vol. 16).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Open Access

File

Exploring the arithmetic of generalised modular Jacobians and of power sums

Curco Iranzo, M., 14 Apr 2025, Utrecht: Utrecht University. 286 p.

Research output: Thesis › Doctoral thesis 1 (Research UU / Graduation UU)

Open Access

File

Eye movements in the development of geometric shape recognition: from sensory-motor processes to theoretical perception

Chumachenko, D., Shvarts, A., Dreneva, A. & Krichevets, A., Mar 2025, In: Educational Studies in Mathematics. 118, p. 529-554

Research output: Contribution to journal › Article › Academic › peer-review

Open Access

File

Filtered Markovian Projection: Dimensionality Reduction in Filtering for Stochastic Reaction Networks

Hammouda, C. B., Chupin, M., Münker, S. & Tempone, R., 11 Feb 2025, arXiv, p. 1-31, 31 p.

Research output: Working paper › Preprint › Academic

File

Fostering a growth mindset in secondary mathematics classrooms in the Netherlands

van Hoeve, M., Doorman, M. & Veldhuis, M., Jan 2025, In: Research in Mathematics Education. 27, 1, p. 92-113 22 p.

Research output: Contribution to journal › Article › Academic › peer-review

Open Access

File

From Individual Magnetic Carriers to Global Magnetic Models: Improving the Efficiency and Accuracy of Micromagnetic Tomography

Out, F., 19 Feb 2025, Utrecht: Utrecht University. 124 p.

Research output: Thesis › Doctoral thesis 1 (Research UU / Graduation UU)

Open Access

File

Game over? Investigating students’ working memory, situational interest, and behavioral patterns as predictors of dropout in an educational game

Arztmann, M., Domínguez Alfaro, J. L., Hornstra, L., Wong, J., Jeuring, J. & Kester, L., Mar 2025, In: International Journal of Child-Computer Interaction. 43, 100721.

Research output: Contribution to journal › Article › Academic › peer-review

Open Access

File

Haefliger’s differentiable cohomology

Accornero, L. & Crainic, M., 3 Apr 2025, In: Journal of Noncommutative Geometry. 19, 2, p. 679-764 86 p.

Research output: Contribution to journal › Article › Academic › peer-review

Open Access

File

Henk Bos in memoriam: with notes from his Nachlass

Blasjo, V., Mar 2025, In: Nieuw archief voor wiskunde. Serie 5. 26, 1, p. 17-25 9 p.

Research output: Contribution to journal › Article › Academic › peer-review

Open Access

File

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 Access

File

Insights from Univalent Foundations: A Case Study Using Double Categories

Rasekh, N., van der Weide, N., Ahrens, B. & North, P. R., 3 Feb 2025, 33rd EACSL Annual Conference on Computer Science Logic, CSL 2025. Endrullis, J. & Schmitz, S. (eds.). Dagstuhl Publishing, p. 45:1-45:18 45. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 326).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Open Access

File

Introduction to eye tracking in mathematics education: interpretation, potential, and challenges

Schindler, M., Shvarts, A. & Lilienthal, A. J., 1 Mar 2025, In: Educational Studies in Mathematics. 118, p. 309-321

Research output: Contribution to journal › Article › Academic › peer-review

Open Access

File

Knowledge and Willingness to Act Pro-environmentally. Perspectives from IEA TIMSS 2019 and ICCS 2016 Data: An Introduction

Isac, M. M., Sass, W. & Sandoval-Hernández, A., 11 Jan 2025, Knowledge and Willingness to Act Pro-Environmentally. Springer, p. 1-10 10 p. (IEA Research for Education; vol. 16).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Open Access

File

Life on the move: How traits and environment constrain marine species dispersal

Manral, D., 17 Mar 2025, Utrecht: Utrecht University. 147 p.

Research output: Thesis › Doctoral thesis 1 (Research UU / Graduation UU)

Open Access

File

Local isomorphism classes of fractional ideals of orders in étale algebras

Marseglia, S., 1 Jul 2025, In: Journal of Algebra. 673, p. 77-102 26 p.

Research output: Contribution to journal › Article › Academic › peer-review

Open Access

File

Longitudinal changes in how pre-service and novice in-service teachers notice critical events: the case of Alma

Rotem, S. H., 15 Feb 2025, (E-pub ahead of print) In: Journal of Mathematics Teacher Education. 28 p.

Research output: Contribution to journal › Article › Academic › peer-review

Lucas congruences using modular forms

Beukers, F., Tsai, W. L. & Ye, D., Jan 2025, In: Bulletin of the London Mathematical Society. 57, 1, p. 69-78 10 p.

Research output: Contribution to journal › Article › Academic › peer-review

Mathematics teachers’ professional experimentation with mathematical origami in secondary education

van Wijk, J., Bos, R., Shvarts, A. & Doorman, M., Feb 2025, In: EURASIA Journal of Mathematics, Science and Technology Education . 21, 2, 17 p., em2572.

Research output: Contribution to journal › Article › Academic › peer-review

Open Access

File

Measurement invariance of the action competence in sustainable development questionnaire: can we compare between groups?

van Harskamp, M., De Maeyer, S., Sass, W., Van Petegem, P. & Boeve-de Pauw, J., 2025, In: Environmental Education Research. 31, 3, p. 489-511 14 p.

Research output: Contribution to journal › Article › Academic › peer-review

Open Access

File

Models of Mastery Learning for Computing Education

Szabo, C., Parker, M. C., Friend, M., Jeuring, J., Kohn, T., Malmi, L. & Sheard, J., 18 Feb 2025, SIGCSE TS 2025 - Proceedings of the 56th ACM Technical Symposium on Computer Science Education. Association for Computing Machinery, p. 1092-1098 7 p. (SIGCSE TS 2025 - Proceedings of the 56th ACM Technical Symposium on Computer Science Education; vol. 1).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Open Access

File

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 Access

File

Oceanic Transport and Source Inference of Nanoplastics

Pierard, C. M., 10 Apr 2025, Utrecht University. 111 p.

Research output: Thesis › Doctoral thesis 1 (Research UU / Graduation UU)

Open Access

On multiple ∞-categories and formal category theory via ∞-equipments

Ruit, J. C., 4 Apr 2025, Utrecht: Utrecht University. 301 p.

Research output: Thesis › Doctoral thesis 1 (Research UU / Graduation UU)

Open Access

File

Parametrised KAM Theory, an Overview

Broer, H. W., Hanssmann, H. & Wagener, F., 21 Mar 2025, (E-pub ahead of print) In: Regular and Chaotic Dynamics. 43 p.

Research output: Contribution to journal › Article › Academic › peer-review

Periodic Center Manifolds for DDEs in the Light of Suns and Stars

Lentjes, B., Spek, L., Bosschaert, M. M. & Kuznetsov, Y. A., 2025, In: Journal of Dynamics and Differential Equations. 37, 1, p. 815–858 44 p.

Research output: Contribution to journal › Article › Academic › peer-review

Open Access

File

Periodic normal forms for bifurcations of limit cycles in DDEs

Lentjes, B., Spek, L., Bosschaert, M. M. & Kuznetsov, Y. A., 5 Apr 2025, In: Journal of Differential Equations. 423, p. 631-694 64 p.

Research output: Contribution to journal › Article › Academic › peer-review

Phylodynamic assessment of SNP distances from whole genome sequencing for determining Mycobacterium tuberculosis transmission

Van der Roest, B. R., Bootsma, M. C. J., Fischer, E. A. J., Gröschel, M. I., Anthony, R. M., de Zwaan, R., Kretzschmar, M. E. E. & Klinkenberg, D., 28 Mar 2025, In: Scientific Reports. 15, 1, 10694.

Research output: Contribution to journal › Article › Academic › peer-review

Open Access

File