Automated reasoning tools in GeoGebra Discovery
PH
Private Pädagogische Hochschule Linz
Leistungstyp
Beitrag in einer Fachzeitschrift
LL Nr
4632
Dis Auftri
DIS_ZEITSC_4632
Jahr
2021
Titel
Automated reasoning tools in GeoGebra Discovery
Quelle
ACM Communications in Computer Algebra, 55, 2, 39-43, https://doi.org/10.1145/3493492.3493495
Autoren
