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