Content available in repository
Content available in repository
Fingerprint
Dive into the research topics where A.J. (Jelle) Wemmenhove is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Waterproof: Transforming a proof assistant into an educational tool
Wemmenhove, A. J., 21 Mar 2025, Eindhoven: Eindhoven University of Technology. 152 p.Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)
Open AccessFile226 Downloads (Pure) -
Waterproof: Educational Software for Learning How to Write Mathematical Proofs
Wemmenhove, J. (Corresponding author), Arends, D., Beurskens, T., Bhaid, M., McCarren, S., Moraal, J., Rivera Garrido, D., Tuin, D., Vassallo, M., Wils, P. & Portegies, J., 6 Apr 2024, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 400, p. 96-119 24 p.Research output: Contribution to journal › Conference article › peer-review
Open AccessFile1 Downloads (Pure) -
Is Vanilla Policy Gradient Overlooked? Analyzing Deep Reinforcement Learning for Hanabi
Grooten, B. (Corresponding author), Wemmenhove, J., Poot, M. & Portegies, J., 22 Mar 2022, In: arXiv. 2022, 11 p., 2203.11656.Research output: Contribution to journal › Article › Academic
Open AccessFile76 Downloads (Pure) -
Waterproof: educational software for learning how to write mathematical proofs
Wemmenhove, J., Beurskens, T., McCarren, S., Moraal, J., Tuin, D. & Portegies, J., 24 Nov 2022, In: arXiv. 2022, 28 p., 2211.13513.Research output: Contribution to journal › Article › Academic
Open AccessFile465 Downloads (Pure)
Courses
Thesis
-
Improved vessel tracking and new data-driven connections on SE(2)
Wemmenhove, A. J. (Author), Duits, R. (Supervisor 1) & Smets, B. M. N. (Supervisor 2), 15 Jul 2020Student thesis: Master
File -
Learning geometry using PCA and diffusion maps
Wemmenhove, A. J. (Author), Portegies, J. W. (Supervisor 1), Apr 2018Student thesis: Bachelor
File