Miguel Abánades, F. Botana, Zoltan Kovács, T. Recio, Csilla Sólyom-Gecse,
"Towards the Automatic Discovery of Theorems in GeoGebra"
, in Gert-Martin Greuel; Thorsten Koch; Peter Paule; Andrew Sommese: Mathematical Software ? ICMS 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016, Springer, Seite(n) 37-42, 2016
Original Titel:
Towards the Automatic Discovery of Theorems in GeoGebra
Sprache des Titels:
Englisch
Original Buchtitel:
Mathematical Software ? ICMS 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016
Forschungs-