소수 정리 4

NIAID Data Ecosystem2026-05-02 收录

素数分布理论

组合数学

数据链接：

https://zenodo.org/record/14613276 数据链接链接失效反馈

官方服务：

资源简介：

소수와 합성수 간 관계를 이용하여 팩토리얼을 구하는 것에 적용하는 수식 https://chatgpt.com/share/677dce72-8b24-8001-90f4-621d596a1422

创建时间：

2025-01-08

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

Database of small Schurian association schemes

Schurian关联方案

组合数学

This database contains the (not necessarily commutative) Schurian association schemes of order 2 to 48. The details of this database are reported in the paper "A census of small Schurian association s

NIAID Data Ecosystem50

ACDRepo/symmetric_group_characters_22

组合数学

对称群表示

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

Hugging Face2025-08-11 更新100

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

소수 정리 4

资源简介：

相关数据集