Automated Discovery of Geometrical Theorems in GeoGebra
PH
Private Pädagogische Hochschule Linz
Leistungstyp
Beitrag in einer Fachzeitschrift
LL Nr
5845
Dis Auftri
DIS_ZEITSC_5845
Jahr
2022
Titel
Automated Discovery of Geometrical Theorems in GeoGebra
Quelle
Electronic Proceedings in Theoretical Computer Science, 354, 1-12, https://doi.org/10.4204/EPTCS.354.1
Autoren
