Xicheng Peng, Jingzhong Zhang, Mao Chen, Sannyuya Liu. Self-evident Automated Geometric Theorem Proving Based on Complex Number Identity. Journal of Automated Reasoning, 2023, 67(4): 38. (SCI，中科院3区)
发布时间：2026-06-15
点击次数：
- 发布时间：
- 2026-06-15
- 论文名称：
- Xicheng Peng, Jingzhong Zhang, Mao Chen, Sannyuya Liu. Self-evident Automated Geometric Theorem Proving Based on Complex Number Identity. Journal of Automated Reasoning, 2023, 67(4): 38. (SCI，中科院3区)
- 是否译文：
- 否
- 上一条：Chao Wu, Zeyu Zeng, Yajing Yang, Mao Chen*, Xicheng Peng, Sannyuya Liu*,Task-driven cleaning and pruning of noisy knowledge graph,Information Sciences, 646,2023,119406. (SCI，中科院1区)
- 下一条：Chao Wu Sannyuya Liu, Zeyu Zeng, Mao Chen, Adi Alhudhaif, Xiangyang Tang, Fayadh Alenezi, Norah Alnaim, Xicheng Peng, Knowledge graph-based multi-context-aware recommendation algorithm. Information Sciences, 595, 2022, 179-194 (SCI，中科院1区)