Antonio Montes, Tomás Recio. Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems. In Francisco Botana, Tomás Recio, editors, Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers. Volume 4869 of Lecture Notes in Computer Science, pages 113-138, Springer, 2006. [doi]
Abstract is missing.