Automated Reasoning Tools for Euclidean Planar Geometry in GeoGebra
PH
Private Pädagogische Hochschule Linz
Leistungstyp
Beitrag in einem Sammelwerk
LL Nr
1066
Dis Auftri
DIS_SAMMEL_1066
Jahr
2017
Titel
Automated Reasoning Tools for Euclidean Planar Geometry in GeoGebra
Quelle
20th Scientific-Professional Colloquium on Geometry and Graphics Fužine, September 3-7, 2017, Abstracts, -, Fužine
Autoren
