Automated reasoning tools in GeoGebra discovery
- Kovács, Z.
- Recio, T.
- Vélez, M.P.
ISSN: 1932-2240, 1932-2232
Année de publication: 2021
Volumen: 55
Número: 2
Pages: 39-43
Type: Article
Revue:
ACM Communications in Computer Algebra