找到2个数据集

标签: 几何问题

过滤结果

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

    2025年12月23日 30 118 88

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

  • 中世纪灯笼中型模型数据集

    2025年12月15日 30 99 39

    数据集概述 该数据集包含中世纪灯笼的中型模型文件，已修复部分几何问题。主要由图像文件和三维模型文件组成，为中世纪灯笼的数字化展示与研究提供基础资源。 文件详解 图像文件（共7个）：文件格式为.jpeg，包括thumb0.jpeg至thumb6.jpeg，用于展示中世纪灯笼模型的外观预览。...
    packageimg