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.
Release Time:2026-06-15
Hits:
- Date:
- 2026-06-15
- Title of Paper:
- 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.
- Translation or Not:
- No
- Prev One: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).
- Next One: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.