Special issue on dynamic geometry and automated reasoning. (March 2020)