Author:
Li Lei,Yang Zongkai,Chen Mao,Peng Xicheng,Sun Jianwen,Yan Zhonghua,Liu Sannyuya
Publisher
Springer Science and Business Media LLC
Reference27 articles.
1. Ye, Z., Chou, S.C., Gao, X.S.: Visually dynamic presentation of proofs in plane geometry: Part 2. Automated generation of visually dynamic presentations with the full-angle method and the deductive database method. J. Autom. Reason. 45(3), 243–266 (2010)
2. Wu, W.T.: Mechanical theorem proving in geometries: basic principles. Springer, Berlin (2012)
3. Jiang, J.G., Zhang, J.Z.: A review and prospect of readable machine proofs for geometry theorems. J. Syst. Sci. 25(4), 802–820 (2012)
4. Botana, F., Hohenwarter, M., Janičić, P.: Automated theorem proving in geogebra: current achievements. J. Autom. Reason. 55(1), 39–59 (2015)
5. Chen, J., Tang, J., Qin, J., et al.: GeoQA: A geometric question answering benchmark towards multimodal numerical reasoning. Preprint at https://arxiv.org/pdf/2105.14517.pdf (2021)