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).
发布时间：2026-06-15
点击次数：
- 发布时间：
- 2026-06-15
- 论文名称：
- 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).
- 是否译文：
- 否
- 上一条：He B, Yu X (余新国), Jian P, et al. A relation based algorithm for solving direct current circuit problems[J]. Applied Intelligence, 2020:1–17.
- 下一条：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.