Development of automatic reasoning tools in GeoGebra | Publicación