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?” Beiträge zum Mathematikunterricht 2025, edited by L. Schick et al., WTM, 2025, p. 1417, doi: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.” Thirteenth Congress of the European Society for Research in Mathematics (CERME13), 2023.
LibreCat
| Files available