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.
4 Publications
2026 | Conference (Editor) | LibreCat-ID: 64797
L. Birk, G. Loth, L. Jotzo, K. Binder, and D. Frischemeier, Eds., 14th IASE Satellite Conference “Statistics and Data Science Education in STEAM.” International Association for Statistics Education, 2026.
LibreCat
| Files available
| DOI
2025 | Conference Paper | LibreCat-ID: 63622
I. Garnelo Abellanas, “Towards design principles for learning environments based on theorem provers,” 2025.
LibreCat
2025 | Conference Paper | LibreCat-ID: 63629
I. Garnelo Abellanas, “Ein Designprinzip für Lernumgebungen zu inter-aktiven Theorembeweisern,” 2025.
LibreCat
2025 | Conference Paper | LibreCat-ID: 63571
J. Hellmund, “Mündliche Prüfungen im Mathematikunterricht – welche Arten des Wissens werden abgefragt?,” in Beiträge zum Mathematikunterricht 2025, Saarbrücken, 2025, p. 1417, doi: 10.17877/DE290R-25900.
LibreCat
| DOI