Irene Garnelo Abellanas

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

5 Publications

Mark all

[5]
2025 | Conference Paper | LibreCat-ID: 63622
Towards design principles for learning environments based on theorem provers
I. Garnelo Abellanas, in: Proceedings of the Fourteenth Congress of the European Society for Research in Mathematics Education (CERME14), 2025.
LibreCat
 
[4]
2025 | Conference Paper | LibreCat-ID: 63629
Ein Designprinzip für Lernumgebungen zu inter-aktiven Theorembeweisern
I. Garnelo Abellanas, in: Beiträge Zum Mathematikunterricht 2025, 2025.
LibreCat
 
[3]
2024 | Conference Paper | LibreCat-ID: 59990 | OA
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.
LibreCat | Files available | DOI | Download (ext.)
 
[2]
2024 | Conference Paper | LibreCat-ID: 59986
Herausforderungen beim Einsatz interaktiver Theorembeweiser in der Hochschullehre
I. Garnelo Abellanas, M. Liebendörfer, in: Beiträge Zum Mathematikunterricht 2024, 2024.
LibreCat
 
[1]
2023 | Conference Paper | LibreCat-ID: 59984
Introducing mathematics undergraduate students to the theorem prover lean
I. Garnelo Abellanas, M. Liebendörfer, in: Thirteenth Congress of the European Society for Research in Mathematics (CERME13), 2023.
LibreCat | Files available
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Export / Embed

5 Publications

Mark all

[5]
2025 | Conference Paper | LibreCat-ID: 63622
Towards design principles for learning environments based on theorem provers
I. Garnelo Abellanas, in: Proceedings of the Fourteenth Congress of the European Society for Research in Mathematics Education (CERME14), 2025.
LibreCat
 
[4]
2025 | Conference Paper | LibreCat-ID: 63629
Ein Designprinzip für Lernumgebungen zu inter-aktiven Theorembeweisern
I. Garnelo Abellanas, in: Beiträge Zum Mathematikunterricht 2025, 2025.
LibreCat
 
[3]
2024 | Conference Paper | LibreCat-ID: 59990 | OA
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.
LibreCat | Files available | DOI | Download (ext.)
 
[2]
2024 | Conference Paper | LibreCat-ID: 59986
Herausforderungen beim Einsatz interaktiver Theorembeweiser in der Hochschullehre
I. Garnelo Abellanas, M. Liebendörfer, in: Beiträge Zum Mathematikunterricht 2024, 2024.
LibreCat
 
[1]
2023 | Conference Paper | LibreCat-ID: 59984
Introducing mathematics undergraduate students to the theorem prover lean
I. Garnelo Abellanas, M. Liebendörfer, in: Thirteenth Congress of the European Society for Research in Mathematics (CERME13), 2023.
LibreCat | Files available
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Export / Embed