找到1个数据集

标签: Maple系统应用

过滤结果

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

    2025年12月23日 30 132 107

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