Towards the Automatic Discovery of Theorems in GeoGebra | Publicación