基于向量恒等式的几何证明题自动生成方法

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

李雷, 陈矛, 彭翕成

Approach for Automated Generation of Geometric Proof Problems Based on Vector Identity

LI Lei, CHEN Mao, PENG Xicheng

计算机工程 . 2025, (7): 78 -89 . DOI: 10.19678/j.issn.1000-3428.0068959