数据集 - 海数据

数学猜想研究_Birch_and_Swinnerton_Dyer_猜想文档完整数据

2025年12月23日 30 193 56

数据集概述本数据集为关于Birch和Swinnerton-Dyer猜想的文档，包含对该数学猜想核心内容的描述及相关证明进展的陈述，涉及L函数零点阶与椭圆曲线秩的关系等数学命题。文件详解文件名称: Birch’s and Swinnerton Dyer’s Conjectures.pdf 文件格式: PDF (.pdf) 文件内容:...

ZIP

Andrews_Curtis猜想的概率自动机分类器辅助自动推理研究数据集

2025年12月23日 30 99 20

数据集概述本数据集是研究论文《Automated reasoning boosted by a probabilistic automaton classifier: An application to the Andrews-Curtis...

ZIP

Mahler_Ramsey_Collatz_Based_数学理论相关数据可视化完整数据集

2025年12月19日 30 47 10

数据集概述本数据集包含与Mahler-Ramsey-Collatz主题相关的3个文件，主要为SVG格式图像文件和PDF格式文档文件，未提供具体内容描述，文件命名无明显规律。文件详解文件名称：385 PM62TM345.svg，文件格式：SVG，未提供字段或内容描述文件名称：1110 LoH5.svg，文件格式：SVG，未提供字段或内容描述...

ZIP

Apéry_Fermi_K3曲面自同构群计算数据集

2025年12月11日 30 185 113

数据集概述本数据集围绕Apéry-Fermi K3曲面的自同构群展开，包含研究论文、数据说明文档及计算数据压缩包，为相关数学领域的研究提供了实验性计算结果与理论参考依据。文件详解文件名称: AperyFermiNew.pdf 文件格式: PDF 内容说明: 2025年5月4日修订的研究论文原文文件名称:...