Irene Garnelo Abellanas

AG Binder
irene.garnelo.abellanas@uni-paderborn.de
ID
93843

3 Publications

Mark all

[3]
2024 | Conference Paper | LibreCat-ID: 59986
Garnelo Abellanas, I., & Liebendörfer, M. (2024). Herausforderungen beim Einsatz interaktiver Theorembeweiser in der Hochschullehre.
LibreCat
 
[2]
2024 | Conference Paper | LibreCat-ID: 59990 | OA
Eichler, A., Floren, H., Garnelo Abellanas, I., Liebendörfer, M., Müller, R., Schürmann, M., & Speer, A. (2024). Digital STACK tasks and exam results. INDRUM2024 PROCEEDINGS Fifth Conference of the International Network for Didactic Research in University Mathematics. Fifth conference of the International Network for Didactic Research in University Mathematics, Barcelona. https://theses.hal.science/INDRUM2024/hal-04944194v1
LibreCat | Files available | DOI | Download (ext.)
 
[1]
2023 | Conference Paper | LibreCat-ID: 59984
Garnelo Abellanas, I., & Liebendörfer, M. (2023). Introducing mathematics undergraduate students to the theorem prover lean. Thirteenth Congress of the European Society for Research in Mathematics Education (CERME13), Budapest.
LibreCat | Files available
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed

3 Publications

Mark all

[3]
2024 | Conference Paper | LibreCat-ID: 59986
Garnelo Abellanas, I., & Liebendörfer, M. (2024). Herausforderungen beim Einsatz interaktiver Theorembeweiser in der Hochschullehre.
LibreCat
 
[2]
2024 | Conference Paper | LibreCat-ID: 59990 | OA
Eichler, A., Floren, H., Garnelo Abellanas, I., Liebendörfer, M., Müller, R., Schürmann, M., & Speer, A. (2024). Digital STACK tasks and exam results. INDRUM2024 PROCEEDINGS Fifth Conference of the International Network for Didactic Research in University Mathematics. Fifth conference of the International Network for Didactic Research in University Mathematics, Barcelona. https://theses.hal.science/INDRUM2024/hal-04944194v1
LibreCat | Files available | DOI | Download (ext.)
 
[1]
2023 | Conference Paper | LibreCat-ID: 59984
Garnelo Abellanas, I., & Liebendörfer, M. (2023). Introducing mathematics undergraduate students to the theorem prover lean. Thirteenth Congress of the European Society for Research in Mathematics Education (CERME13), Budapest.
LibreCat | Files available
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed