5 Publications
2025 | Conference Paper | LibreCat-ID: 63622
Garnelo Abellanas, I. (2025). Towards design principles for learning environments based on theorem provers. Proceedings of the Fourteenth Congress of the European Society for Research in Mathematics Education (CERME14).
LibreCat
2025 | Conference Paper | LibreCat-ID: 63629
Garnelo Abellanas, I. (2025). Ein Designprinzip für Lernumgebungen zu inter-aktiven Theorembeweisern. Beiträge Zum Mathematikunterricht 2025.
LibreCat
2024 | Conference Paper | LibreCat-ID: 59990 | 
Eichler, A., Floren, H., Garnelo Abellanas, I., Liebendörfer, M., Müller, R., Schürmann, M., & Speer, A. (2024). Digital STACK tasks and exam results. INDRUM2024 PROCEEDINGS Fifth Conference of the International Network for Didactic Research in University Mathematics. Fifth conference of the International Network for Didactic Research in University Mathematics, Barcelona. 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. (2024). Herausforderungen beim Einsatz interaktiver Theorembeweiser in der Hochschullehre. Beiträge Zum Mathematikunterricht 2024.
LibreCat
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 (CERME13). Thirteenth Congress of the European Society for Research in Mathematics Education (CERME13), Budapest.
LibreCat
| Files available
5 Publications
2025 | Conference Paper | LibreCat-ID: 63622
Garnelo Abellanas, I. (2025). Towards design principles for learning environments based on theorem provers. Proceedings of the Fourteenth Congress of the European Society for Research in Mathematics Education (CERME14).
LibreCat
2025 | Conference Paper | LibreCat-ID: 63629
Garnelo Abellanas, I. (2025). Ein Designprinzip für Lernumgebungen zu inter-aktiven Theorembeweisern. Beiträge Zum Mathematikunterricht 2025.
LibreCat
2024 | Conference Paper | LibreCat-ID: 59990 |
Eichler, A., Floren, H., Garnelo Abellanas, I., Liebendörfer, M., Müller, R., Schürmann, M., & Speer, A. (2024). Digital STACK tasks and exam results. INDRUM2024 PROCEEDINGS Fifth Conference of the International Network for Didactic Research in University Mathematics. Fifth conference of the International Network for Didactic Research in University Mathematics, Barcelona. 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. (2024). Herausforderungen beim Einsatz interaktiver Theorembeweiser in der Hochschullehre. Beiträge Zum Mathematikunterricht 2024.
LibreCat
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 (CERME13). Thirteenth Congress of the European Society for Research in Mathematics Education (CERME13), Budapest.
LibreCat
| Files available