Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5 Publications
2025 | Conference Paper | LibreCat-ID: 63622
Garnelo Abellanas I. 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
2025 | Conference Paper | LibreCat-ID: 63629
Garnelo Abellanas I. Ein Designprinzip für Lernumgebungen zu inter-aktiven Theorembeweisern. In: Beiträge Zum Mathematikunterricht 2025. ; 2025.
LibreCat
2024 | Conference Paper | LibreCat-ID: 59990 | 
Eichler A, Floren H, Garnelo Abellanas I, et al. Digital STACK tasks and exam results. 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; 2024. doi:https://theses.hal.science/INDRUM2024/hal-04944194v1
LibreCat
| Files available
| DOI
| Download (ext.)
2024 | Conference Paper | LibreCat-ID: 59986
Garnelo Abellanas I, Liebendörfer M. Herausforderungen beim Einsatz interaktiver Theorembeweiser in der Hochschullehre. In: Beiträge Zum Mathematikunterricht 2024. ; 2024.
LibreCat
2023 | Conference Paper | LibreCat-ID: 59984
Garnelo Abellanas I, Liebendörfer M. 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