找到1个数据集

标签: 拓扑非理性

过滤结果

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

    2025年12月20日 30 22 14

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