-
几何自动定理证明中的退化问题处理数据集
2025年12月23日 30 99 65
数据集概述 本数据集为几何自动定理证明中退化问题处理的辅助资料，包含Maple工作表及相关文档，支持相关算法或方法的验证与复现，适用于几何定理证明领域的技术研究。 文件详解 文件名称：Maple-computations.pdf，文件格式：PDF，为文档类文件，可能包含Maple计算过程的说明、结果展示或技术文档内容。...
-
五元素集上_0_1_值循环对称多数运算最小克隆并行计算数据集
2025年12月11日 30 184 158
数据集概述 本数据集包含19个文件，核心是14个Python代码文件、4个文档文件及1个其他文件，围绕五元素集上{0,1}值循环对称多数运算生成的最小克隆展开并行计算，提供代码、文档及结果，支持相关研究验证与复现。 文件详解 代码文件（14个，.py格式）： 主代码文件：step3p.py（核心并行计算脚本）...
