@inproceedings{63622,
  author       = {{Garnelo Abellanas, Irene}},
  booktitle    = {{Proceedings of the Fourteenth Congress of the European Society for Research in Mathematics Education (CERME14)}},
  title        = {{{Towards design principles for learning environments based on theorem provers}}},
  year         = {{2025}},
}

@inproceedings{63629,
  author       = {{Garnelo Abellanas, Irene}},
  booktitle    = {{Beiträge zum Mathematikunterricht 2025}},
  title        = {{{Ein Designprinzip für Lernumgebungen zu inter-aktiven Theorembeweisern}}},
  year         = {{2025}},
}

@inproceedings{59986,
  author       = {{Garnelo Abellanas, Irene and Liebendörfer, Michael}},
  booktitle    = {{Beiträge zum Mathematikunterricht 2024}},
  title        = {{{Herausforderungen beim Einsatz interaktiver Theorembeweiser in der Hochschullehre}}},
  year         = {{2024}},
}

@inproceedings{59990,
  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}},
  booktitle    = {{INDRUM2024 PROCEEDINGS Fifth conference of the International Network for Didactic Research in University Mathematics}},
  issn         = {{2496-1027 (online)}},
  location     = {{Barcelona}},
  publisher    = {{Escola Univerist`aria Salesiana de Sarri`a – Univ. Aut`onoma de Barcelona and INDRUM}},
  title        = {{{Digital STACK tasks and exam results}}},
  doi          = {{https://theses.hal.science/INDRUM2024/hal-04944194v1}},
  year         = {{2024}},
}

@inproceedings{59984,
  author       = {{Garnelo Abellanas, Irene and Liebendörfer, Michael}},
  booktitle    = {{Thirteenth Congress of the European Society for Research in Mathematics (CERME13)}},
  location     = {{Budapest}},
  title        = {{{Introducing mathematics undergraduate students to the theorem prover lean}}},
  year         = {{2023}},
}