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
Ano de publicación: 2016
Volume: 9725
Páxinas: 37-42
Tipo: Achega congreso
ISSN: 1611-3349, 0302-9743
ISBN: 9783319424316
Ano de publicación: 2016
Volume: 9725
Páxinas: 37-42
Tipo: Achega congreso