Irene Garnelo Abellanas

AG Binder
irene.garnelo.abellanas@uni-paderborn.de
ID
93843

3 Publications

Mark all

[3]
2024 | Conference Paper | LibreCat-ID: 59986
Garnelo Abellanas, Irene, and Michael Liebendörfer. Herausforderungen Beim Einsatz Interaktiver Theorembeweiser in Der Hochschullehre. 2024.
LibreCat
 
[2]
2024 | Conference Paper | LibreCat-ID: 59990 | OA
Eichler, Andreas, et al. “Digital STACK Tasks and Exam Results.” 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, 2024, doi:https://theses.hal.science/INDRUM2024/hal-04944194v1.
LibreCat | Files available | DOI | Download (ext.)
 
[1]
2023 | Conference Paper | LibreCat-ID: 59984
Garnelo Abellanas, Irene, and Michael Liebendörfer. Introducing Mathematics Undergraduate Students to the Theorem Prover Lean. 2023.
LibreCat | Files available
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed

3 Publications

Mark all

[3]
2024 | Conference Paper | LibreCat-ID: 59986
Garnelo Abellanas, Irene, and Michael Liebendörfer. Herausforderungen Beim Einsatz Interaktiver Theorembeweiser in Der Hochschullehre. 2024.
LibreCat
 
[2]
2024 | Conference Paper | LibreCat-ID: 59990 | OA
Eichler, Andreas, et al. “Digital STACK Tasks and Exam Results.” 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, 2024, doi:https://theses.hal.science/INDRUM2024/hal-04944194v1.
LibreCat | Files available | DOI | Download (ext.)
 
[1]
2023 | Conference Paper | LibreCat-ID: 59984
Garnelo Abellanas, Irene, and Michael Liebendörfer. Introducing Mathematics Undergraduate Students to the Theorem Prover Lean. 2023.
LibreCat | Files available
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed