-
NearRingsWithOne_raemarina_小阶幺拟环库数据
2026年1月26日 30 29 17
数据集概述 本数据集为小阶幺拟环（Nearrings with one of small order）的库文件，包含一个压缩包文件，存储于单层目录结构中，无训练测试、数据标签或原始处理数据的划分，未提供自述文件或内容预览。 文件详解 文件名称：raemarina/NearRingsWithOne-1.0.1.zip 文件格式：ZIP...
-
SG_PG_2023_Based纽结图诱导代数结构实验自动推理研究数据
2026年1月22日 30 121 113
数据集概述 本数据集是论文《纽结图诱导的半群、凯斯与群：基于自动推理的实验研究》的补充材料，包含支持该研究的实验数据。数据聚焦纽结图相关代数结构的实验分析，通过自动推理方法开展研究，为数学领域纽结理论与代数结构的交叉研究提供实证支持。 文件详解 文件名称：SG-PG-2023.zip 文件格式：ZIP（压缩包）...
-
循环对称多数函数最小克隆计算数据集
2025年12月15日 30 42 0
数据集概述 本数据集包含用于计算集合A={0,1,2,3,4}上循环对称多数函数的代码及结果文件。这些函数在三元组上取值为{0,1}，并生成A上的最小克隆。数据集还包含研究报告及结果分析文件，支持代数结构与函数克隆的研究。 文件详解 代码文件: 01_valued_majorityfuncs.py、write_uacalcfiles.py:...
-
集合_0_1_2_3_上以二元运算为见证的中心化幺半群数据集
2025年12月9日 30 87 80
数据集概述 本数据集包含集合{0,1,2,3}上所有以二元运算为见证的33684个中心化幺半群，涵盖极大真幺半群、共轭分类等信息，提供详细文件说明文档及代码源文件，支持代数结构研究。 文件详解 该数据集包含30个文件，具体说明如下： - 文档与说明文件 - binary_centralising_monoids.pdf：PDF格式，数据集详细说明文档...
-
霍尔_利特伍德多项式_仿射舒伯特级数与格点枚举数据集
2025年12月9日 30 52 36
数据集概述 本数据集为论文《Hall-Littlewood polynomials, affine Schubert series, and lattice enumeration》的配套数据，包含多种数学级数（如仿射舒伯特级数、赫米特-史密斯级数等）的计算结果，以文本文件为主，支持相关数学领域的研究验证与分析。 文件详解...
