摘要：二次可逆法则的严谨自包含证明及其应用领域的调查 方便数学议题的GAP程序实例和代码
作者：Mario P''erez Maletzki
论文ID：2110.15389
分类：History and Overview
分类简称：math.HO
提交时间：2021-11-01
PDF 下载： 英文版 中文版pdf翻译中