Gamelo, I., & Liebendörfer, M. (2026). Towards design principles for learning environments based on theorem provers. Congress of the European Society for Research in Mathematics Education, 14, 1766.
Chicago Style (17th ed.) CitationGamelo, Irene, and Michael Liebendörfer. "Towards Design Principles for Learning Environments Based on Theorem Provers." Congress of the European Society for Research in Mathematics Education 14 (2026): 1766.
MLA (9th ed.) CitationGamelo, Irene, and Michael Liebendörfer. "Towards Design Principles for Learning Environments Based on Theorem Provers." Congress of the European Society for Research in Mathematics Education, vol. 14, 2026, p. 1766.
Warning: These citations may not always be 100% accurate.
