Jingzhong Zhang, Xicheng Peng, Mao Chen*. Self-evident Automated Proving Based on Point Geometry from the Perspective of Wu’s Method Identity. Journal of Systems Science and Complexity, 2019, 32(1): 78-94 （SCI，中科院3区）
Release Time:2026-06-15
Hits:
- Date:
- 2026-06-15
- Title of Paper:
- Jingzhong Zhang, Xicheng Peng, Mao Chen*. Self-evident Automated Proving Based on Point Geometry from the Perspective of Wu’s Method Identity. Journal of Systems Science and Complexity, 2019, 32(1): 78-94 （SCI，中科院3区）
- Translation or Not:
- No