@dblp

EUCLID: A System for the Exploratory Discovery of Geometrical Properties of Triangles.

, , and . IICAI, page 2759-2776. IICAI, (2005)

Links and resources

Tags