Towards the Automatic Discovery of Theorems in GeoGebra
PH
Private Pädagogische Hochschule Linz
Leistungstyp
Beitrag in einem Sammelwerk
LL Nr
929
Dis Auftri
DIS_SAMMEL_929
Jahr
2016
Titel
Towards the Automatic Discovery of Theorems in GeoGebra
Quelle
Mathematical Software -- ICMS 2016. 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings, -, k.A.
Autoren
