3 Publications
2024 | Conference Paper | LibreCat-ID: 59986
@inproceedings{Garnelo Abellanas_Liebendörfer_2024, title={Herausforderungen beim Einsatz interaktiver Theorembeweiser in der Hochschullehre}, author={Garnelo Abellanas, Irene and Liebendörfer, Michael}, year={2024} }
LibreCat
2024 | Conference Paper | LibreCat-ID: 59990 | 
@inproceedings{Eichler_Floren_Garnelo Abellanas_Liebendörfer_Müller_Schürmann_Speer_2024, place={Barcelona}, title={Digital STACK tasks and exam results}, DOI={https://theses.hal.science/INDRUM2024/hal-04944194v1}, booktitle={INDRUM2024 PROCEEDINGS Fifth conference of the International Network for Didactic Research in University Mathematics}, publisher={Escola Univerist`aria Salesiana de Sarri`a – Univ. Aut`onoma de Barcelona and INDRUM}, author={Eichler, Andreas and Floren, Henrik and Garnelo Abellanas, Irene and Liebendörfer, Michael and Müller, Raphael and Schürmann, Mirko and Speer, Annabelle}, year={2024} }
LibreCat
| Files available
| DOI
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 59984
@inproceedings{Garnelo Abellanas_Liebendörfer_2023, title={Introducing mathematics undergraduate students to the theorem prover lean}, author={Garnelo Abellanas, Irene and Liebendörfer, Michael}, year={2023} }
LibreCat
| Files available
Search
Filter Publications
Display / Sort
Export / Embed
3 Publications
2024 | Conference Paper | LibreCat-ID: 59986
@inproceedings{Garnelo Abellanas_Liebendörfer_2024, title={Herausforderungen beim Einsatz interaktiver Theorembeweiser in der Hochschullehre}, author={Garnelo Abellanas, Irene and Liebendörfer, Michael}, year={2024} }
LibreCat
2024 | Conference Paper | LibreCat-ID: 59990 |
@inproceedings{Eichler_Floren_Garnelo Abellanas_Liebendörfer_Müller_Schürmann_Speer_2024, place={Barcelona}, title={Digital STACK tasks and exam results}, DOI={https://theses.hal.science/INDRUM2024/hal-04944194v1}, booktitle={INDRUM2024 PROCEEDINGS Fifth conference of the International Network for Didactic Research in University Mathematics}, publisher={Escola Univerist`aria Salesiana de Sarri`a – Univ. Aut`onoma de Barcelona and INDRUM}, author={Eichler, Andreas and Floren, Henrik and Garnelo Abellanas, Irene and Liebendörfer, Michael and Müller, Raphael and Schürmann, Mirko and Speer, Annabelle}, year={2024} }
LibreCat
| Files available
| DOI
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 59984
@inproceedings{Garnelo Abellanas_Liebendörfer_2023, title={Introducing mathematics undergraduate students to the theorem prover lean}, author={Garnelo Abellanas, Irene and Liebendörfer, Michael}, year={2023} }
LibreCat
| Files available