专利

发明

中文

2023.10.08

CN202311300395.2

2024.01.05

CN117350274A

方可

本校为其他完成单位

本发明提供一种基于已有习题自动合成新的几何证明题的方法及系统，该方法包括：分别获取多道已有几何证明题中每道几何证明题的原始几何关系，得到二元组集合；每个二元组包括一组几何关系和一个向量方程，所述向量方程由所述几何关系转换得到；基于所述二元组集合，筛选出可以重组的几何关系，以生成多道新的几何证明题；其中，所述可以重组的几何关系来自多道不同的已有几何证明题。本发明能够生成一些现有同类方法所无法生成的更具新颖性的习题，为通用新习题生成技术的研究提供了一些新的思路。