Automated reasoning tools in GeoGebra discovery | Publicación