Towards design principles for learning environments based on theorem provers
I. Garnelo Abellanas, in: Proceedings of the Fourteenth Congress of the European Society for Research in Mathematics Education (CERME14), 2025.
Download
No fulltext has been uploaded.
Conference Paper
| English
Department
Publishing Year
Proceedings Title
Proceedings of the Fourteenth Congress of the European Society for Research in Mathematics Education (CERME14)
LibreCat-ID
Cite this
Garnelo Abellanas I. Towards design principles for learning environments based on theorem provers. In: Proceedings of the Fourteenth Congress of the European Society for Research in Mathematics Education (CERME14). ; 2025.
Garnelo Abellanas, I. (2025). Towards design principles for learning environments based on theorem provers. Proceedings of the Fourteenth Congress of the European Society for Research in Mathematics Education (CERME14).
@inproceedings{Garnelo Abellanas_2025, title={Towards design principles for learning environments based on theorem provers}, booktitle={Proceedings of the Fourteenth Congress of the European Society for Research in Mathematics Education (CERME14)}, author={Garnelo Abellanas, Irene}, year={2025} }
Garnelo Abellanas, Irene. “Towards Design Principles for Learning Environments Based on Theorem Provers.” In Proceedings of the Fourteenth Congress of the European Society for Research in Mathematics Education (CERME14), 2025.
I. Garnelo Abellanas, “Towards design principles for learning environments based on theorem provers,” 2025.
Garnelo Abellanas, Irene. “Towards Design Principles for Learning Environments Based on Theorem Provers.” Proceedings of the Fourteenth Congress of the European Society for Research in Mathematics Education (CERME14), 2025.
Google Scholar