TY  - RPRT
TI  - Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Groebner Systems
AU  - Antonio Montes
AU  - Tomas Recio
PY  - 2007
UR  - https://arxiv.org/abs/math/0703483
ID  - math/0703483
ER  -