Gan W, Yu X (余新国) and Wang M. Automatic understanding and formalization of plane geometry proving problems in natural language: a supervised approach，International Journal on Artificial Intelligence Tools, Vol. 28, No. 4，1940003，2019.
发布时间：2026-06-15
点击次数：
- 发布时间：
- 2026-06-15
- 论文名称：
- Gan W, Yu X (余新国) and Wang M. Automatic understanding and formalization of plane geometry proving problems in natural language: a supervised approach，International Journal on Artificial Intelligence Tools, Vol. 28, No. 4，1940003，2019.
- 是否译文：
- 否
- 上一条：Yu X (余新国), Wang M, et al. A framework for solving explicit arithmetic word problems and proving plane geometry theorems. International Journal of Pattern Recognition and Artificial Intelligence, 33(7), 1940005 (2019).
- 下一条：Pengpeng Jian, Chao Sun, Xinguo Yu(余新国), Bin He and Xia, Meng. An end-to-end algorithm for solving circuit problems, International Journal of Pattern Recognition and Artificial Intelligence, 2019.