[computational.science] Reminder: Special Issue on Dynamic Geometry and Automated Reasoning Journal Symbolic Computation