Lei Li, Zongkai Yang, Mao Chen, Xicheng Peng, Jianwen Sun, Zhonghua Yan, and Sannyuya Liu. 2024. Automated Generation of Geometry Proof Problems Based on Point Geometry Identity. Journal of Automated Reasoning. 68, 11
Release Time:2026-06-15
Hits:
- Date:
- 2026-06-15
- Title of Paper:
- Lei Li, Zongkai Yang, Mao Chen, Xicheng Peng, Jianwen Sun, Zhonghua Yan, and Sannyuya Liu. 2024. Automated Generation of Geometry Proof Problems Based on Point Geometry Identity. Journal of Automated Reasoning. 68, 11
- Translation or Not:
- No
- Prev One:Yajing Yang, Zeyu Zeng, Shiyun Jiang, Mao Che*n, and Ruirui Shang. 2024. DEKGCI: A double-ended recommendation model for integrating knowledge graph and user–item interaction graph. The Journal of Supercomputing, 80, 24781–24800
- Next One:Mao Chen, Yajing Yang, Zeyu Zeng, Xiangyang Tang, Xicheng Peng, Sannuya Liu, A filtered beam search based heuristic algorithm for packing unit circles into a circular container, Computers & Operations Research, 166, 2024, 106636 (SCI，中科院2区)