all_sigs_16.bz2

Figshare2016-01-11 更新2026-04-08 收录

几何分割

组合数学

数据链接：

https://figshare.com/articles/dataset/all_sigs_16.bz2/90056/1 数据链接链接失效反馈

官方服务：

资源简介：

Enumeration of all equilateral triangle dissections of the specified order.

创建时间：

2012-01-21

linxy/RamseyGraph

图论

组合数学

本数据集包含与拉姆齐数（Ramsey Number）相关的图，这些图不包含特定大小的团或独立集。数据集涵盖了多种顶点数的Ramsey图，如Ramsey(3,4)、Ramsey(3,5)、Ramsey(3,6)等，并提供了这些图的具体数量。拉姆齐数是指满足Ramsey图的最小顶点数，数据集还包含了一些已知的拉姆齐数表和研究进展。数据集已发布在Huggingface datasets平台上，用户可以通

Hugging Face2025-12-17 更新100

AI-MO/CombiBench

组合数学

定理自动证明

CombiBench是一个基于Lean 4的专注于组合问题的首个基准数据集，包含100个难度和知识水平各异的组合数学问题。该数据集旨在为评估自动化定理证明系统在组合数学方面的能力提供基准。

Hugging Face2025-07-13 更新90

Principal Möbius function values for permutations under classic pattern containment

排列模式理论

组合数学

These files have the value of the principal Möbius function \mu[1, \pi] for all canonical permutations with length 12 or less. A permutation is canonical if, amongst the symmetries of the permutati

DataCite Commons2020-08-28 更新70

ACDRepo/symmetric_group_characters_22

组合数学

对称群表示

对称群S_{22}的不可约表示特征数据集，包含两个整数划分（一个对应不可约表示，一个对应共轭类）以及相应的特征值。该数据集旨在用于训练机器学习模型，以预测给定两个划分时的特征值。

Hugging Face2025-08-11 更新100

Geometry segmentation DSI

几何分割

材料科学

Assessment of the geometry segmentation: - cement volume- DSI computation

DataCite Commons2022-12-06 更新70