[{"_id":"63622","department":[{"_id":"979"}],"user_id":"93843","language":[{"iso":"eng"}],"publication":"Proceedings of the Fourteenth Congress of the European Society for Research in Mathematics Education (CERME14)","type":"conference","status":"public","date_updated":"2026-01-15T10:23:49Z","author":[{"id":"93843","full_name":"Garnelo Abellanas, Irene","last_name":"Garnelo Abellanas","first_name":"Irene"}],"date_created":"2026-01-15T10:23:32Z","title":"Towards design principles for learning environments based on theorem provers","year":"2025","citation":{"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>.","short":"I. Garnelo Abellanas, in: Proceedings of the Fourteenth Congress of the European Society for Research in Mathematics Education (CERME14), 2025.","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.","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} }","ieee":"I. Garnelo Abellanas, “Towards design principles for learning environments based on theorem provers,” 2025.","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.","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."}},{"status":"public","citation":{"chicago":"Garnelo Abellanas, Irene. “Ein Designprinzip Für Lernumgebungen Zu Inter-Aktiven Theorembeweisern.” In <i>Beiträge Zum Mathematikunterricht 2025</i>, 2025.","ieee":"I. Garnelo Abellanas, “Ein Designprinzip für Lernumgebungen zu inter-aktiven Theorembeweisern,” 2025.","ama":"Garnelo Abellanas I. Ein Designprinzip für Lernumgebungen zu inter-aktiven Theorembeweisern. In: <i>Beiträge Zum Mathematikunterricht 2025</i>. ; 2025.","apa":"Garnelo Abellanas, I. (2025). Ein Designprinzip für Lernumgebungen zu inter-aktiven Theorembeweisern. <i>Beiträge Zum Mathematikunterricht 2025</i>.","mla":"Garnelo Abellanas, Irene. “Ein Designprinzip Für Lernumgebungen Zu Inter-Aktiven Theorembeweisern.” <i>Beiträge Zum Mathematikunterricht 2025</i>, 2025.","bibtex":"@inproceedings{Garnelo Abellanas_2025, title={Ein Designprinzip für Lernumgebungen zu inter-aktiven Theorembeweisern}, booktitle={Beiträge zum Mathematikunterricht 2025}, author={Garnelo Abellanas, Irene}, year={2025} }","short":"I. Garnelo Abellanas, in: Beiträge Zum Mathematikunterricht 2025, 2025."},"year":"2025","publication":"Beiträge zum Mathematikunterricht 2025","type":"conference","language":[{"iso":"eng"}],"title":"Ein Designprinzip für Lernumgebungen zu inter-aktiven Theorembeweisern","department":[{"_id":"979"}],"author":[{"last_name":"Garnelo Abellanas","full_name":"Garnelo Abellanas, Irene","id":"93843","first_name":"Irene"}],"user_id":"93843","date_created":"2026-01-15T10:31:16Z","_id":"63629","date_updated":"2026-01-15T10:31:29Z"},{"status":"public","publication":"Beiträge zum Mathematikunterricht 2024","type":"conference","language":[{"iso":"eng"}],"_id":"59986","user_id":"93843","year":"2024","citation":{"ama":"Garnelo Abellanas I, Liebendörfer M. Herausforderungen beim Einsatz interaktiver Theorembeweiser in der Hochschullehre. In: <i>Beiträge Zum Mathematikunterricht 2024</i>. ; 2024.","chicago":"Garnelo Abellanas, Irene, and Michael Liebendörfer. “Herausforderungen Beim Einsatz Interaktiver Theorembeweiser in Der Hochschullehre.” In <i>Beiträge Zum Mathematikunterricht 2024</i>, 2024.","ieee":"I. Garnelo Abellanas and M. Liebendörfer, “Herausforderungen beim Einsatz interaktiver Theorembeweiser in der Hochschullehre,” 2024.","mla":"Garnelo Abellanas, Irene, and Michael Liebendörfer. “Herausforderungen Beim Einsatz Interaktiver Theorembeweiser in Der Hochschullehre.” <i>Beiträge Zum Mathematikunterricht 2024</i>, 2024.","bibtex":"@inproceedings{Garnelo Abellanas_Liebendörfer_2024, title={Herausforderungen beim Einsatz interaktiver Theorembeweiser in der Hochschullehre}, booktitle={Beiträge zum Mathematikunterricht 2024}, author={Garnelo Abellanas, Irene and Liebendörfer, Michael}, year={2024} }","short":"I. Garnelo Abellanas, M. Liebendörfer, in: Beiträge Zum Mathematikunterricht 2024, 2024.","apa":"Garnelo Abellanas, I., &#38; Liebendörfer, M. (2024). Herausforderungen beim Einsatz interaktiver Theorembeweiser in der Hochschullehre. <i>Beiträge Zum Mathematikunterricht 2024</i>."},"title":"Herausforderungen beim Einsatz interaktiver Theorembeweiser in der Hochschullehre","date_updated":"2026-01-15T10:34:56Z","author":[{"first_name":"Irene","last_name":"Garnelo Abellanas","full_name":"Garnelo Abellanas, Irene","id":"93843"},{"first_name":"Michael","last_name":"Liebendörfer","full_name":"Liebendörfer, Michael"}],"date_created":"2025-05-19T07:24:49Z"},{"year":"2024","title":"Digital STACK tasks and exam results","publisher":"Escola Univerist`aria Salesiana de Sarri`a – Univ. Aut`onoma de Barcelona and INDRUM","date_created":"2025-05-19T08:51:27Z","file":[{"relation":"main_file","content_type":"application/pdf","file_size":850253,"file_id":"59991","access_level":"open_access","file_name":"Poster_Indrum_2024_Digital-STACK-Tasks_Exam-Results.pdf","date_updated":"2025-05-19T08:51:19Z","date_created":"2025-05-19T08:51:19Z","creator":"rmuelle2"}],"publication":"INDRUM2024 PROCEEDINGS Fifth conference of the International Network for Didactic Research in University Mathematics","ddc":["510"],"language":[{"iso":"eng"}],"place":"Barcelona","citation":{"ama":"Eichler A, Floren H, Garnelo Abellanas I, et al. Digital STACK tasks and exam results. In: <i>INDRUM2024 PROCEEDINGS Fifth Conference of the International Network for Didactic Research in University Mathematics</i>. Escola Univerist`aria Salesiana de Sarri`a – Univ. Aut`onoma de Barcelona and INDRUM; 2024. doi:<a href=\"https://theses.hal.science/INDRUM2024/hal-04944194v1\">https://theses.hal.science/INDRUM2024/hal-04944194v1</a>","ieee":"A. Eichler <i>et al.</i>, “Digital STACK tasks and exam results,” presented at the Fifth conference of the International Network for Didactic Research in University Mathematics, Barcelona, 2024, doi: <a href=\"https://theses.hal.science/INDRUM2024/hal-04944194v1\">https://theses.hal.science/INDRUM2024/hal-04944194v1</a>.","chicago":"Eichler, Andreas, Henrik Floren, Irene Garnelo Abellanas, Michael Liebendörfer, Raphael Müller, Mirko Schürmann, and Annabelle Speer. “Digital STACK Tasks and Exam Results.” In <i>INDRUM2024 PROCEEDINGS Fifth Conference of the International Network for Didactic Research in University Mathematics</i>. Barcelona: Escola Univerist`aria Salesiana de Sarri`a – Univ. Aut`onoma de Barcelona and INDRUM, 2024. <a href=\"https://theses.hal.science/INDRUM2024/hal-04944194v1\">https://theses.hal.science/INDRUM2024/hal-04944194v1</a>.","apa":"Eichler, A., Floren, H., Garnelo Abellanas, I., Liebendörfer, M., Müller, R., Schürmann, M., &#38; Speer, A. (2024). Digital STACK tasks and exam results. <i>INDRUM2024 PROCEEDINGS Fifth Conference of the International Network for Didactic Research in University Mathematics</i>. Fifth conference of the International Network for Didactic Research in University Mathematics, Barcelona. <a href=\"https://theses.hal.science/INDRUM2024/hal-04944194v1\">https://theses.hal.science/INDRUM2024/hal-04944194v1</a>","bibtex":"@inproceedings{Eichler_Floren_Garnelo Abellanas_Liebendörfer_Müller_Schürmann_Speer_2024, place={Barcelona}, title={Digital STACK tasks and exam results}, DOI={<a href=\"https://theses.hal.science/INDRUM2024/hal-04944194v1\">https://theses.hal.science/INDRUM2024/hal-04944194v1</a>}, booktitle={INDRUM2024 PROCEEDINGS Fifth conference of the International Network for Didactic Research in University Mathematics}, publisher={Escola Univerist`aria Salesiana de Sarri`a – Univ. Aut`onoma de Barcelona and INDRUM}, author={Eichler, Andreas and Floren, Henrik and Garnelo Abellanas, Irene and Liebendörfer, Michael and Müller, Raphael and Schürmann, Mirko and Speer, Annabelle}, year={2024} }","short":"A. Eichler, H. Floren, I. Garnelo Abellanas, M. Liebendörfer, R. Müller, M. Schürmann, A. Speer, in: INDRUM2024 PROCEEDINGS Fifth Conference of the International Network for Didactic Research in University Mathematics, Escola Univerist`aria Salesiana de Sarri`a – Univ. Aut`onoma de Barcelona and INDRUM, Barcelona, 2024.","mla":"Eichler, Andreas, et al. “Digital STACK Tasks and Exam Results.” <i>INDRUM2024 PROCEEDINGS Fifth Conference of the International Network for Didactic Research in University Mathematics</i>, Escola Univerist`aria Salesiana de Sarri`a – Univ. Aut`onoma de Barcelona and INDRUM, 2024, doi:<a href=\"https://theses.hal.science/INDRUM2024/hal-04944194v1\">https://theses.hal.science/INDRUM2024/hal-04944194v1</a>."},"publication_status":"published","has_accepted_license":"1","publication_identifier":{"issn":["2496-1027 (online)"]},"main_file_link":[{"url":"https://theses.hal.science/INDRUM2024/hal-04944194v1"}],"doi":"https://theses.hal.science/INDRUM2024/hal-04944194v1","conference":{"start_date":"2024-06-10","name":"Fifth conference of the International Network for Didactic Research in University Mathematics","location":"Barcelona","end_date":"2024-06-14"},"date_updated":"2025-06-25T07:50:49Z","oa":"1","author":[{"full_name":"Eichler, Andreas","last_name":"Eichler","first_name":"Andreas"},{"first_name":"Henrik","full_name":"Floren, Henrik","last_name":"Floren"},{"first_name":"Irene","full_name":"Garnelo Abellanas, Irene","id":"93843","last_name":"Garnelo Abellanas"},{"first_name":"Michael","orcid":"0000-0001-9887-2074","last_name":"Liebendörfer","full_name":"Liebendörfer, Michael","id":"30933"},{"first_name":"Raphael","last_name":"Müller","full_name":"Müller, Raphael","id":"55246"},{"first_name":"Mirko","last_name":"Schürmann","orcid":"0000-0003-2646-085X","full_name":"Schürmann, Mirko","id":"59707"},{"first_name":"Annabelle","full_name":"Speer, Annabelle","last_name":"Speer"}],"status":"public","type":"conference","file_date_updated":"2025-05-19T08:51:19Z","_id":"59990","user_id":"55246"},{"_id":"59984","department":[{"_id":"983"}],"user_id":"93843","language":[{"iso":"eng"}],"publication":"Thirteenth Congress of the European Society for Research in Mathematics (CERME13)","type":"conference","status":"public","date_updated":"2026-01-15T10:36:11Z","date_created":"2025-05-19T07:19:01Z","author":[{"first_name":"Irene","last_name":"Garnelo Abellanas","full_name":"Garnelo Abellanas, Irene","id":"93843"},{"first_name":"Michael","last_name":"Liebendörfer","full_name":"Liebendörfer, Michael"}],"title":"Introducing mathematics undergraduate students to the theorem prover lean","conference":{"location":"Budapest","name":"Thirteenth Congress of the European Society for Research in Mathematics Education (CERME13)"},"related_material":{"link":[{"url":"https://hal.science/hal-04406679v1/file/TWG_14-Garnelo-218.pdf","relation":"confirmation"}]},"year":"2023","citation":{"ama":"Garnelo Abellanas I, Liebendörfer M. Introducing mathematics undergraduate students to the theorem prover lean. In: <i>Thirteenth Congress of the European Society for Research in Mathematics (CERME13)</i>. ; 2023.","ieee":"I. Garnelo Abellanas and M. Liebendörfer, “Introducing mathematics undergraduate students to the theorem prover lean,” presented at the Thirteenth Congress of the European Society for Research in Mathematics Education (CERME13), Budapest, 2023.","chicago":"Garnelo Abellanas, Irene, and Michael Liebendörfer. “Introducing Mathematics Undergraduate Students to the Theorem Prover Lean.” In <i>Thirteenth Congress of the European Society for Research in Mathematics (CERME13)</i>, 2023.","apa":"Garnelo Abellanas, I., &#38; Liebendörfer, M. (2023). Introducing mathematics undergraduate students to the theorem prover lean. <i>Thirteenth Congress of the European Society for Research in Mathematics (CERME13)</i>. Thirteenth Congress of the European Society for Research in Mathematics Education (CERME13), Budapest.","bibtex":"@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} }","mla":"Garnelo Abellanas, Irene, and Michael Liebendörfer. “Introducing Mathematics Undergraduate Students to the Theorem Prover Lean.” <i>Thirteenth Congress of the European Society for Research in Mathematics (CERME13)</i>, 2023.","short":"I. Garnelo Abellanas, M. Liebendörfer, in: Thirteenth Congress of the European Society for Research in Mathematics (CERME13), 2023."}}]