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
发布时间：2026-06-15
点击次数：
- 发布时间：
- 2026-06-15
- 论文名称：
- 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
- 是否译文：
- 否
- 上一条：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
- 下一条：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区)