- E-Mail:
- irene.garnelo.abellanas@uni-paderborn.de
- Phone:
- +49 5251 60-3818
-
- Office Address:
-
伟德体育_伟德国际手机1946-在线*平台@ Str. 100
33098 Paderborn - Room:
- D3.326
Publications
Latest Publications
Herausforderungen beim Einsatz interaktiver Theorembeweiser in der Hochschullehre
I. Garnelo Abellanas, M. Liebend?rfer, in: 2024.
Digital STACK tasks and exam results
A. Eichler, H. Floren, I. Garnelo Abellanas, M. Liebend?rfer, R. Müller, M. Schürmann, A. Speer, in: INDRUM2024 PROCEEDINGS Fifth Conference of the International Network for Didactic Research in University Mathematics, Escola Univerist`aria Salesiana de Sarri`a – Univ. Aut`onoma de Barcelona and INDRUM, Barcelona, 2024.
Introducing mathematics undergraduate students to the theorem prover lean
I. Garnelo Abellanas, M. Liebend?rfer, in: 2023.
Show all publications