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, Johannes. “Mündliche Prüfungen im Mathematikunterricht – welche Arten des Wissens werden abgefragt?” In Beiträge zum Mathematikunterricht 2025, edited by L. Schick, M. Platz, and A. Lambert, 1417. WTM, 2025. https://doi.org/10.17877/DE290R-25900.
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 59984
Garnelo Abellanas, Irene, and Michael Liebendörfer. “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