1. Chen, X., Song, D., Wang, D.: Automated generation of geometric theorems from images of diagrams. Ann. Math. Artif. Intell. 74(3–4), 333–358 (2015)
2. Chou, S.C., Gao, X.S., Zhang, J.Z.: Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems. World Scientific, Singapore (1994)
3. Ge, Q.: Research of automated geometry reasoning and its application with constrained conditions. Ph.D. thesis, Central China Normal University (2011)
4. Guo, H.Y., Liu, Q.T., Chen, M., Huang, H., Ge, Q.: Research for facing the natural language of the geometry drawing. Comput. Sci. 39(6A), 503–506 (2012)
5. Jiang, J.: iGeo: a theorem prover of the intelligent geometry software. Ph.D. thesis, Chengdu Computer Application Research Institute of Chinese Academy of Sciences (2006)