找到1个数据集

格式: ZIP 标签: 半群

过滤结果

  • SG_PG_2023_Based纽结图诱导代数结构实验自动推理研究数据

    2026年1月22日 30 3 0

    数据集概述 本数据集是论文《纽结图诱导的半群、凯斯与群：基于自动推理的实验研究》的补充材料，包含支持该研究的实验数据。数据聚焦纽结图相关代数结构的实验分析，通过自动推理方法开展研究，为数学领域纽结理论与代数结构的交叉研究提供实证支持。 文件详解 文件名称：SG-PG-2023.zip 文件格式：ZIP（压缩包）...
    packageimg