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
Mündliche Prüfungen im Mathematikunterricht – welche Arten des Wissens werden abgefragt?
J. Hellmund, in: L. Schick, M. Platz, A. Lambert (Eds.), Beiträge zum Mathematikunterricht 2025, WTM, 2025, p. 1417.
LibreCat
| DOI
J. Hellmund, in: L. Schick, M. Platz, A. Lambert (Eds.), Beiträge zum Mathematikunterricht 2025, WTM, 2025, p. 1417.
2023 | Conference Paper | LibreCat-ID: 59984
Introducing mathematics undergraduate students to the theorem prover lean
I. Garnelo Abellanas, M. Liebendörfer, in: Thirteenth Congress of the European Society for Research in Mathematics (CERME13), 2023.
LibreCat
| Files available
I. Garnelo Abellanas, M. Liebendörfer, in: Thirteenth Congress of the European Society for Research in Mathematics (CERME13), 2023.