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