3 Publications
2024 | Conference Paper | LibreCat-ID: 59986
I. Garnelo Abellanas and M. Liebendörfer, “Herausforderungen beim Einsatz interaktiver Theorembeweiser in der Hochschullehre,” 2024.
LibreCat
2024 | Conference Paper | LibreCat-ID: 59990 | 
A. Eichler et al., “Digital STACK tasks and exam results,” presented at the Fifth conference of the International Network for Didactic Research in University Mathematics, Barcelona, 2024, doi: https://theses.hal.science/INDRUM2024/hal-04944194v1.
LibreCat
| Files available
| DOI
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 59984
I. Garnelo Abellanas and M. Liebendörfer, “Introducing mathematics undergraduate students to the theorem prover lean,” presented at the Thirteenth Congress of the European Society for Research in Mathematics Education (CERME13), Budapest, 2023.
LibreCat
| Files available
3 Publications
2024 | Conference Paper | LibreCat-ID: 59986
I. Garnelo Abellanas and M. Liebendörfer, “Herausforderungen beim Einsatz interaktiver Theorembeweiser in der Hochschullehre,” 2024.
LibreCat
2024 | Conference Paper | LibreCat-ID: 59990 |
A. Eichler et al., “Digital STACK tasks and exam results,” presented at the Fifth conference of the International Network for Didactic Research in University Mathematics, Barcelona, 2024, doi: https://theses.hal.science/INDRUM2024/hal-04944194v1.
LibreCat
| Files available
| DOI
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 59984
I. Garnelo Abellanas and M. Liebendörfer, “Introducing mathematics undergraduate students to the theorem prover lean,” presented at the Thirteenth Congress of the European Society for Research in Mathematics Education (CERME13), Budapest, 2023.
LibreCat
| Files available