AgentGeom: a multiagent system for pedagogical support in geometric proof problems | Publicación