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