Irene Garnelo Abellanas

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

2 Publications

Mark all

[2]
2024 | Conference Paper | LibreCat-ID: 59986
Garnelo Abellanas, I., & Liebendörfer, M. (2024). Herausforderungen beim Einsatz interaktiver Theorembeweiser in der Hochschullehre.
LibreCat
 
[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

2 Publications

Mark all

[2]
2024 | Conference Paper | LibreCat-ID: 59986
Garnelo Abellanas, I., & Liebendörfer, M. (2024). Herausforderungen beim Einsatz interaktiver Theorembeweiser in der Hochschullehre.
LibreCat
 
[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