找到2个数据集

标签: 数学教育案例

过滤结果

  • 何塞_安东尼奥定理的形式化与证明数据集

    2025年12月20日 30 6 4

    数据集概述 本数据集包含何塞·安东尼奥定理的形式化表述与证明文档，聚焦等腰直角三角形（TRI）内的几何关系，探讨其与黄金比例的关联，并通过AHXIOM格式呈现定理的逻辑结构与直观解释。 文件详解 文件名称: 1∅∅∅ SCod Teorema de José Antonio- Formalización y Demostración TRI.pdf...
    packageimg

  • 一次Del_Pezzo曲面与Zariski倍数示例计算数据集

    2025年12月12日 30 179 148

    数据集概述 本数据集包含关于一次Del Pezzo曲面与Zariski倍数示例的研究资料，包括预印本论文、计算数据说明文档及计算数据压缩包，核心为基于E₈型Weyl群单值化作用构建的Zariski N元组示例数据，支撑相关代数几何研究。 文件详解 该数据集包含3个文件，具体说明如下： -...
    packageimg