Xicheng Peng, Qihang Chen, Jingzhong Zhang, Mao Chen*. Automated Discovery of Geometric Theorems Based on Vector Equations. Journal of Automated Reasoning, 2021(65): 711–726 （SCI， 中科院2区）
发布时间：2026-06-15
点击次数：
- 发布时间：
- 2026-06-15
- 论文名称：
- Xicheng Peng, Qihang Chen, Jingzhong Zhang, Mao Chen*. Automated Discovery of Geometric Theorems Based on Vector Equations. Journal of Automated Reasoning, 2021(65): 711–726 （SCI， 中科院2区）
- 是否译文：
- 否
- 上一条：Ting Song, Mao Chen*, Yulong Xu, Dong Wang, Xuekun Song, Xiangyang Tang. Competition-guided multi-neighborhood local search algorithm for the university course timetabling problem. Applied Soft Computing，2021(110): 107624 （SCI，中科院2区）
- 下一条：Mao Chen, Xiangyang Tang, Ting Song, Chao Wu, Sanya Liu a, Xicheng Peng. A Tabu search algorithm with controlled randomization for constructing feasible university course timetables. Computers and Operations Research, 2020, 123: 105007 （SCI，中科院2区）