Author Login Chief Editor Login Reviewer Login Editor Login Remote Office
Approach for Automated Generation of Geometric Proof Problems Based on Vector Identity
LI Lei, CHEN Mao, PENG Xicheng
Computer Engineering . 2025, (7): 78 -89 .  DOI: 10.19678/j.issn.1000-3428.0068959