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
@inproceedings{Hellmund_2025, title={Mündliche Prüfungen im Mathematikunterricht – welche Arten des Wissens werden abgefragt?}, DOI={10.17877/DE290R-25900}, booktitle={Beiträge zum Mathematikunterricht 2025}, publisher={WTM}, author={Hellmund, Johannes}, editor={Schick, L. and Platz, M. and Lambert, A.}, year={2025}, pages={1417} }
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 59984
@inproceedings{Garnelo Abellanas_Liebendörfer_2023, title={Introducing mathematics undergraduate students to the theorem prover lean}, booktitle={Thirteenth Congress of the European Society for Research in Mathematics (CERME13)}, author={Garnelo Abellanas, Irene and Liebendörfer, Michael}, year={2023} }
LibreCat
| Files available