Special issue on dynamic geometry and automated reasoning | Publicación