Irene Garnelo Abellanas

AG Binder

Wissenschaftliche Mitarbeiterin

E-Mail:
irene.garnelo.abellanas@uni-paderborn.de
Telefon:
+49 5251 60-3818
Büro­anschrift:
Warburger Str. 100
33098 Paderborn
Raum:
D3.326

Publikationen

Aktuelle Publikationen

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.

DOI PDF

Introducing mathematics undergraduate students to the theorem prover lean

I. Garnelo Abellanas, M. Liebendörfer, in: 2023.

https://hal.science/hal-04406679v1/file/TWG_14-Garnelo-218.pdf

Alle Publikationen anzeigen