Publications
2020
Scholarly publications
Fokma, A., & Portegies, J. W. (2020). The homotopy significant spectrum compared to the Krasnoselskii spectrum. Indagationes Mathematicae, 31(6), 997-1014. https://doi.org/10.1016/j.indag.2020.09.004
Theses:
Master's thesis: The Eudoxus reals constructed in homotopy type theory (under supervision of J.W. Portegies)
Bachelor's thesis: A comparison of the Krasnoselskii spectrum and the homotopy significant spectrum (under supervision of J.W. Portegies)