Wenbin Gan, Xinguo Yu(余新国), Ting Zhang and Mingshu Wang. Automatic proving plane geometry theorems stated by text and diagram. International Journal of Pattern Recognition and Artificial Intelligence, 33(7), 19400032 (2019). Dec. 2018.
发布时间：2026-06-15
点击次数：
- 发布时间：
- 2026-06-15
- 论文名称：
- Wenbin Gan, Xinguo Yu(余新国), Ting Zhang and Mingshu Wang. Automatic proving plane geometry theorems stated by text and diagram. International Journal of Pattern Recognition and Artificial Intelligence, 33(7), 19400032 (2019). Dec. 2018.
- 是否译文：
- 否
- 上一条：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.
- 下一条：Zeng, Zhi-zhong; Yu X (余新国); He, Kun; Fu, Zhang-hua ; Adaptive Tabu search and variable neighborhood descent for packing unequal circles into a square, Applied Soft Computing, 2018, 65: 196-213