The ShowProof command in GeoGebra Discovery: Towards the automated ranking of elementary geometry theorems
PH
Private Pädagogische Hochschule Linz
Leistungstyp
Beitrag in einer Fachzeitschrift
LL Nr
8627
Dis Auftri
DIS_ZEITSC_8627
Jahr
2024
Titel
The ShowProof command in GeoGebra Discovery: Towards the automated ranking of elementary geometry theorems
Quelle
-, 58, 2, 27-30, -
Autoren
