Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems | Publicación