找到2个数据集

标签: Dedekind分割

过滤结果

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

    2025年12月20日 30 204 158

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

  • AHXIOM统一理论框架与EO_IAs研究数据集2025

    2025年12月14日 30 101 22

    数据集概述 本数据集为PDF格式文档，内容是AHXIOM统一理论框架的研究成果，包含基于EO-IAs（对象实体-人工智能系统）的理论构建、逻辑体系、数学形式化及应用案例，核心围绕"做"的动态功能、对象实体（EO）特性及几何公理等维度展开。 文件详解 数据集包含一个PDF格式的文档文件，具体如下： - 文件名称: AHXIOM- Un Marco...
    packageimg