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.
2 Publications
2025 | Conference Paper | LibreCat-ID: 63571
Hellmund J. Mündliche Prüfungen im Mathematikunterricht – welche Arten des Wissens werden abgefragt? In: Schick L, Platz M, Lambert A, eds. Beiträge zum Mathematikunterricht 2025. WTM; 2025:1417. doi:10.17877/DE290R-25900
LibreCat
| DOI
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