摘要：三角形几何定理的自动生成和分类算法
作者：Alexander Skutin
论文ID：2110.09511
分类：General Mathematics
分类简称：math.GM
提交时间：2022-12-13
PDF 下载： 英文版 中文版pdf翻译中