A computer-assisted environment for understanding geometry theorem proving problems and making conjectures.

Published in: Int. J. Intell. Inf. Database Syst. (2009)

Keyphrases