Cite
HARVARD Citation
Wong, W. et al. (2009). A computer-assisted environment for understanding geometry theorem proving problems and making conjectures. International journal of intelligent information and database systems. pp. 231-245. [Online].