摘要：欧几里德《几何原本》中465个定理的依赖结构研究：一个实证元数学的例子
作者：Stephen Wolfram
论文ID：2107.07337
分类：History and Overview
分类简称：math.HO
提交时间：2021-07-16
PDF 下载： 英文版 中文版pdf翻译中