找到2个数据集

标签: 几何定理证明

过滤结果

  • 几何自动定理证明中的退化问题处理数据集

    2025年12月23日 30 77 43

    数据集概述 本数据集为几何自动定理证明中退化问题处理的辅助资料，包含Maple工作表及相关文档，支持相关算法或方法的验证与复现，适用于几何定理证明领域的技术研究。 文件详解 文件名称：Maple-computations.pdf，文件格式：PDF，为文档类文件，可能包含Maple计算过程的说明、结果展示或技术文档内容。...
    packageimg

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

    2025年12月20日 30 62 56

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