A dynamic–symbolic interface for geometric theorem discovery | Publicación