{"publication":"Proceedings of the Fourteenth Congress of the European Society for Research in Mathematics Education (CERME14)","user_id":"93843","year":"2025","_id":"63622","citation":{"mla":"Garnelo Abellanas, Irene. “Towards Design Principles for Learning Environments Based on Theorem Provers.” <i>Proceedings of the Fourteenth Congress of the European Society for Research in Mathematics Education (CERME14)</i>, 2025.","ieee":"I. Garnelo Abellanas, “Towards design principles for learning environments based on theorem provers,” 2025.","ama":"Garnelo Abellanas I. Towards design principles for learning environments based on theorem provers. In: <i>Proceedings of the Fourteenth Congress of the European Society for Research in Mathematics Education (CERME14)</i>. ; 2025.","bibtex":"@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} }","short":"I. Garnelo Abellanas, in: Proceedings of the Fourteenth Congress of the European Society for Research in Mathematics Education (CERME14), 2025.","apa":"Garnelo Abellanas, I. (2025). Towards design principles for learning environments based on theorem provers. <i>Proceedings of the Fourteenth Congress of the European Society for Research in Mathematics Education (CERME14)</i>.","chicago":"Garnelo Abellanas, Irene. “Towards Design Principles for Learning Environments Based on Theorem Provers.” In <i>Proceedings of the Fourteenth Congress of the European Society for Research in Mathematics Education (CERME14)</i>, 2025."},"title":"Towards design principles for learning environments based on theorem provers","type":"conference","date_updated":"2026-01-15T10:23:49Z","date_created":"2026-01-15T10:23:32Z","language":[{"iso":"eng"}],"status":"public","author":[{"first_name":"Irene","id":"93843","last_name":"Garnelo Abellanas","full_name":"Garnelo Abellanas, Irene"}],"department":[{"_id":"979"}]}