Special issue on dynamic geometry and automated reasoning. (March 2020) - Botana, Francisco; Kovács, Zoltán; Recio, Tomas