找到1个数据集

标签: Julia环境

过滤结果

  • Aut_FN_和SLN_ℤ_的性质_T_研究配套数据集

    2025年12月7日 30 66 23

    数据集概述 本数据集是研究论文《On property (T) for Aut(Fₙ) and SLₙ(ℤ)》的配套数据，包含用于自动验证Adj₅ + k·Op₅ - λΔ₅可分解为平方和的代码环境、脚本及预计算结果，支持相关数学性质的复现验证。 文件详解 压缩文件: 1812.03456-cf6dee7.zip:...
    packageimg