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. (2025). Mündliche Prüfungen im Mathematikunterricht – welche Arten des Wissens werden abgefragt? In L. Schick, M. Platz, & A. Lambert (Eds.), Beiträge zum Mathematikunterricht 2025 (p. 1417). WTM. https://doi.org/10.17877/DE290R-25900
LibreCat
| DOI
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