Reasoning about linkages with dynamic geometry
PH
Private Pädagogische Hochschule Linz
Leistungstyp
Beitrag in einer Fachzeitschrift
Dis Auftri
DIS_ZEITSC_1367
Titel
Reasoning about linkages with dynamic geometry
Quelle
Journal of Symbolic Computation, 1 - 17, -