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