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
Année de publication: 2016
Volumen: 9725
Pages: 37-42
Type: Communication dans un congrès