Gaurav Pandey, Ankit Anand, Harish Karnick. EUCLID: A System for the Exploratory Discovery of Geometrical Properties of Triangles. In Bhanu Prasad, editor, Proceedings of the 2nd Indian International Conference on Artificial Intelligence, Pune, India, December 20-22, 2005. pages 2759-2776, IICAI, 2005.
Abstract is missing.