Gaurav Pandey Ankit Anand Harish Karnick EUCLID: A System for the Exploratory Discovery of Geometrical Properties of Triangles. 2759-2776 2005 conf/iicai/2005 IICAI db/conf/iicai/iicai2005.html#PandeyAK05