Irene Garnelo Abellanas

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

5 Publications

Mark all

[5]
2025 | Conference Paper | LibreCat-ID: 63622
Garnelo Abellanas, Irene. “Towards Design Principles for Learning Environments Based on Theorem Provers.” 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
Garnelo Abellanas, Irene. “Ein Designprinzip Für Lernumgebungen Zu Inter-Aktiven Theorembeweisern.” In Beiträge Zum Mathematikunterricht 2025, 2025.
LibreCat
 
[3]
2024 | Conference Paper | LibreCat-ID: 59990 | OA
Eichler, Andreas, Henrik Floren, Irene Garnelo Abellanas, Michael Liebendörfer, Raphael Müller, Mirko Schürmann, and Annabelle Speer. “Digital STACK Tasks and Exam Results.” In INDRUM2024 PROCEEDINGS Fifth Conference of the International Network for Didactic Research in University Mathematics. Barcelona: Escola Univerist`aria Salesiana de Sarri`a – Univ. Aut`onoma de Barcelona and INDRUM, 2024. https://theses.hal.science/INDRUM2024/hal-04944194v1.
LibreCat | Files available | DOI | Download (ext.)
 
[2]
2024 | Conference Paper | LibreCat-ID: 59986
Garnelo Abellanas, Irene, and Michael Liebendörfer. “Herausforderungen Beim Einsatz Interaktiver Theorembeweiser in Der Hochschullehre.” In Beiträge Zum Mathematikunterricht 2024, 2024.
LibreCat
 
[1]
2023 | Conference Paper | LibreCat-ID: 59984
Garnelo Abellanas, Irene, and Michael Liebendörfer. “Introducing Mathematics Undergraduate Students to the Theorem Prover Lean.” In Thirteenth Congress of the European Society for Research in Mathematics (CERME13), 2023.
LibreCat | Files available
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed

5 Publications

Mark all

[5]
2025 | Conference Paper | LibreCat-ID: 63622
Garnelo Abellanas, Irene. “Towards Design Principles for Learning Environments Based on Theorem Provers.” 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
Garnelo Abellanas, Irene. “Ein Designprinzip Für Lernumgebungen Zu Inter-Aktiven Theorembeweisern.” In Beiträge Zum Mathematikunterricht 2025, 2025.
LibreCat
 
[3]
2024 | Conference Paper | LibreCat-ID: 59990 | OA
Eichler, Andreas, Henrik Floren, Irene Garnelo Abellanas, Michael Liebendörfer, Raphael Müller, Mirko Schürmann, and Annabelle Speer. “Digital STACK Tasks and Exam Results.” In INDRUM2024 PROCEEDINGS Fifth Conference of the International Network for Didactic Research in University Mathematics. Barcelona: Escola Univerist`aria Salesiana de Sarri`a – Univ. Aut`onoma de Barcelona and INDRUM, 2024. https://theses.hal.science/INDRUM2024/hal-04944194v1.
LibreCat | Files available | DOI | Download (ext.)
 
[2]
2024 | Conference Paper | LibreCat-ID: 59986
Garnelo Abellanas, Irene, and Michael Liebendörfer. “Herausforderungen Beim Einsatz Interaktiver Theorembeweiser in Der Hochschullehre.” In Beiträge Zum Mathematikunterricht 2024, 2024.
LibreCat
 
[1]
2023 | Conference Paper | LibreCat-ID: 59984
Garnelo Abellanas, Irene, and Michael Liebendörfer. “Introducing Mathematics Undergraduate Students to the Theorem Prover Lean.” In Thirteenth Congress of the European Society for Research in Mathematics (CERME13), 2023.
LibreCat | Files available
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed