Towards the automatic discovery of theorems in GeoGebra
- Abánades, M.
- Botana, F.
- Kovács, Z.
- Recio, T.
- Sólyom-Gecse, C.
ISSN: 1611-3349, 0302-9743
ISBN: 9783319424316
Year of publication: 2016
Volume: 9725
Pages: 37-42
Type: Conference paper
ISSN: 1611-3349, 0302-9743
ISBN: 9783319424316
Year of publication: 2016
Volume: 9725
Pages: 37-42
Type: Conference paper