@misc{indiciae2ca0a43f42c1,
  title = {Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Groebner Systems},
  author = {Antonio Montes and Tomas Recio},
  year = {2007},
  url = {https://arxiv.org/abs/math/0703483},
  note = {Source identifier: math/0703483}
}