Irene Garnelo Abellanas

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

2 Publications

Mark all

[2]
2024 | Conference Paper | LibreCat-ID: 59986
I. Garnelo Abellanas and M. Liebendörfer, “Herausforderungen beim Einsatz interaktiver Theorembeweiser in der Hochschullehre,” 2024.
LibreCat
 
[1]
2023 | Conference Paper | LibreCat-ID: 59984
I. Garnelo Abellanas and M. Liebendörfer, “Introducing mathematics undergraduate students to the theorem prover lean,” presented at the Thirteenth Congress of the European Society for Research in Mathematics Education (CERME13), Budapest, 2023.
LibreCat | Files available
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed

2 Publications

Mark all

[2]
2024 | Conference Paper | LibreCat-ID: 59986
I. Garnelo Abellanas and M. Liebendörfer, “Herausforderungen beim Einsatz interaktiver Theorembeweiser in der Hochschullehre,” 2024.
LibreCat
 
[1]
2023 | Conference Paper | LibreCat-ID: 59984
I. Garnelo Abellanas and M. Liebendörfer, “Introducing mathematics undergraduate students to the theorem prover lean,” presented at the Thirteenth Congress of the European Society for Research in Mathematics Education (CERME13), Budapest, 2023.
LibreCat | Files available
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed