Development of automatic reasoning tools in GeoGebra
- Abánades, M.
- Botana, F.
- Kovács, Z.
- Recio, T.
- Sólyom-Gecse, C.
ISSN: 1932-2240, 1932-2232
Year of publication: 2016
Volume: 50
Issue: 3
Pages: 85-88
Type: Article
ISSN: 1932-2240, 1932-2232
Year of publication: 2016
Volume: 50
Issue: 3
Pages: 85-88
Type: Article