-
NaturalProofs_Based_数学推理自然语言多源语料库数据
2026年1月26日 30 207 66
数据集概述 本数据集是用于研究自然语言中数学推理的多领域语料库，包含约三万条定理陈述及证明、一万五千条定义和两千页补充内容（如公理、推论），统一自ProofWiki、Stacks项目和数学教科书等来源，采用通用模式组织，支持非正式数学相关任务研究。 文件详解 LICENSE 文件格式：无扩展名 字段映射介绍：数据集许可文件，包含使用权限和版权相关说明...
-
SC2_BATH_SC2_2106_基于不失一般性原则的检测研究支持数据集_2016
2026年1月18日 30 73 54
数据集概述 本数据集为论文“What Does 'Without Loss of Generality' Mean (And How Do We Detect It)”的支持数据，包含Maple文件及对应的PDF文件，用于验证和呈现论文中关于“不失一般性”（WLOG）的定义及检测方法的研究内容。 文件详解 文件名称：SC2-BATH-...
-
非光滑抛物_双曲方程的特征线第四非局部问题数据集
2025年12月20日 30 175 27
数据集概述 本数据集包含一份关于非光滑抛物-双曲方程特征线第四非局部问题的文档，为相关数学领域的研究提供参考资料。 文件详解 文件名称: Abdujabborov Abduxalim .pdf 文件格式: PDF (.pdf) 文件内容: 文档聚焦于非光滑抛物-双曲方程特征线的第四非局部问题，可能包含理论推导、问题分析或相关数学证明等内容。 适用场景...
-
求两个平行平面之间距离数据集
2025年12月16日 30 57 0
数据集概述 该数据集围绕“求两个平行平面之间距离”这一主题，包含一份相关的文档文件，为理解或计算平行平面间距离的方法提供参考资料。 文件详解 文件名称: Rustamov Bilol.pdf 文件格式: PDF (.pdf) 内容说明: 该文档文件可能包含关于两个平行平面之间距离的理论推导、计算方法或相关数学证明等内容。 适用场景 数学教学:...
-
洛伦兹仿萨萨金流形横截超曲面的典范半对称半度量联络刻画
2025年12月15日 30 139 3
数据集概述 本数据集为一篇学术论文，研究洛伦兹仿萨萨金流形的横截超曲面在赋予典范半对称半度量联络后的结构性质，包括几乎积结构、几乎积半黎曼结构的存在性，以及基本2-形式的闭性等数学特性证明。 文件详解 文件名称：Characterization of canonical semi symmetric semi-metric connection on...
-
超光速下质荷分离实验发现数据集
2025年12月13日 30 137 7
数据集概述 该数据集包含超光速下质荷分离的实验发现数据，基于LHC开放数据分析，验证了质量以9倍光速传播、电荷以1/9光速传播等关键结论，提供了分析流程、验证结果、可视化文件及理论框架，支持复现研究。 文件详解 文件名称：MassChargeSeparation_SAFE_FOR_ZENODO.zip 文件格式：ZIP压缩包 包含内容：...
-
广义色散方程问题光滑解爆破研究文献
2025年12月11日 30 163 101
数据集概述 本数据集包含一篇关于广义色散方程问题光滑解爆破研究的文献，聚焦于该方程光滑解的爆破特性分析，为相关数学领域的研究提供文献资料支持。 文件详解 文件名称: Khalilov Kobiljon Solijonovich.pdf 文件格式: PDF (.pdf) 文件内容:...
