Automated reasoning tools in GeoGebra discovery
- Kovács, Z.
- Recio, T.
- Vélez, M.P.
ISSN: 1932-2240, 1932-2232
Year of publication: 2021
Volume: 55
Issue: 2
Pages: 39-43
Type: Article
ISSN: 1932-2240, 1932-2232
Year of publication: 2021
Volume: 55
Issue: 2
Pages: 39-43
Type: Article