Special issue on dynamic geometry and automated reasoning
- Botana, F.
- Kovács, Z.
- Recio, T.
Zeitschrift:
Journal of Symbolic Computation
ISSN: 0747-7171
Datum der Publikation: 2020
Ausgabe: 97
Seiten: 1-2
Art: Verlag