Automated reasoning tools in GeoGebra: A new approach for experiments in planar geometry
PH
Private Pädagogische Hochschule Linz
Leistungstyp
Beitrag in einer Fachzeitschrift
LL Nr
1360
Dis Auftri
DIS_ZEITSC_1360
Jahr
2017
Titel
Automated reasoning tools in GeoGebra: A new approach for experiments in planar geometry
Quelle
South Bohemia Mathematical Letters, 25, 1, 48 - 65, -
Autoren
