本网站由以下捐款支持：OEIS基金会.

用户：Charles R Greathouse IV/项目

来自OeisWiki
跳转到：航行,搜索

有许多数学项目、网站或程序（简称“项目”）与OEIS相似（至少是一个方面）。本页试图描述并列出其中一些项目。

属性

Billey&Tenner公司[1] 定理指纹数据库是一个关键资源。他们建议项目的目的是用满足这些条件的指纹对定理进行编码：

  • 应独立于语言。
  • 应参考现有文献。
  • 应具有协作性并公开可用。
  • 应在少量数据中进行编码。

项目列表：整数序列

整数序列在线百科全书

这是Billey&Tenner的定理指纹数据库的主要示例，此处仅列出完整性。

测序器

菲利普·伊曼纽尔·魏德曼的一个项目。

整数序列

Tony D.Noe于2014年开始收集大约1000个整数序列。包括公式、图形、Mathematica程序和参考（但遗憾的是没有搜索功能）。文本显然是自由形式的；元数据由受OEIS启发的关键字组成：base、cons、fini、full、hard、more、nice、nonn、sign、tabf、tabl。条目与其他条目以及OEIS条目交叉链接。

序列机器

Jon Maiga的自动化序列数据库。它将自己描述为“一个包含1659045个机器生成的整数和十进制序列的数据库”。（截至2022年）包含序列标记（如扩展关键字）、函数标记、OEIS引用，并尝试将相同的序列与不同的定义组合在一起。

项目列表：组合

排列模式避免数据库

避免有限数量排列模式的排列数据库。排列可以通过避免的模式子集和/或关键字进行搜索。截至2018年10月，共有54个条目。每个条目的数据包括避免的模式、标题、引用、枚举（名称、公式或生成函数）、OEIS枚举引用和贡献者。

组合统计查找器

查找组合统计。根据搜索的统计信息类型，可以使用不同的搜索类型（共17种）：

  • 交替符号矩阵；二叉树；岩心；Dyck路径；有限Cartan类型；Gelfand-Tsetlin模式；图；整数构成；整数分区；有序树；停车功能；完美匹配；排列；偏序集；半标准表格；设置分区；标准表格

截至2018年10月，数据库中有1278项统计数据。每个统计数据包括值、描述、代码、参考和作者。

超几何级数/WZ方法/A=B

一种寻找超几何恒等式或证明其不存在的方法。Maple和Mathematica中提供了软件支持。

gfun公司

Maple生成函数的算法检测。由布鲁诺·萨维和保罗·齐默尔曼撰写。

组合对象服务器++


项目列表：常量

RIES公司

罗伯特·穆纳福（Robert Munafo）的工具“找到代数方程，给出它们的解”。使用双向搜索寻找长度合适的候选人n个及时Õ（2n个/2). 可在线或下载（C源代码）。

反向符号计算器

Simon Plouffe的工具，用于检测以各种形式出现的实数。显然，还存在一个私人表单，可以通过电子邮件向Simon Plouffe请求查询。

数字适用性

乔瓦尼·雷斯塔的整数序列和整数属性集合（最多10个15)主要是关于这些财产。截至2024年，该页面共有194个属性，主要与素数或基数10有关。

沙莫斯实数目录

700页的常量、定义公式和引用列表。

项目列表：代数

群组属性

Vipul Naik的创意，一个有7000多页的wiki，收集关于不同组，特别是有限组属性的信息。该项目可追溯到2006年（目前的2008年）。数据包括公共群属性的存在与否、各种族的成员关系、形态和共轭类结构。间隙通常包括代码。文本搜索是查找页面的主要方式，尽管有查询创建者它还允许按类别搜索。

数字字段数据库

约翰·琼斯和大卫·罗伯茨

John Jones在[1].

数字字段数据库

由Jürgen Klüners和Gunter Malle于2001年创建的按学位分类的过渡组集合。它包含（截至2022年）所有A002106年（n） 对于总共4952个组，n＝2-23的组；注意下一学期，A002106年（24）=25000，明显大于总数。（发布时，它包含的温度高达15度。）

项目清单：数论

L功能和模块化表单数据库

L函数和模块化形式数据库（LMFDB）收集大量理论对象，如L函数、L函数零点、椭圆曲线、Maass形式和数字字段。


项目列表：图论

图形之家

由G.Brinkmann、J.Goedgebeur、H.Mélot、K.Coolsaet和Sven D'hondt开发的有趣图形的可搜索数据库。

数据库允许按文本和这33个图形不变量中的任何一个进行搜索：

  • 代数连通性、平均度、色指数、色数、周长、团数、密度、直径、支配数、边连通性、属、围长、群大小、独立数、指数、拉普拉斯最大特征值、最长诱导周期、最长诱生路径、匹配数、最大度、最小度、，分量数、边数、生成树数、三角形数、顶点轨道数、顶点数、零特征值数、半径、第二大特征值、最小特征值、树宽、顶点连通性

并允许您限制为以下11个图形类中的任何一个：

  • 无环，二部，无爪，连通，欧拉，哈密顿，次哈密顿

此外，可以绘制或上传图形（使用任何6种支持的格式).

截至2024年1月，该数据库包含超过50000张图表。

  • 图形之家
  • Gunnar Brinkmann、Kris Coolsaet、Jan Goedgebeur和Hadrien Melot，《图形之家：有趣图形的数据库》（2012）。arXiv公司:1204.3549（math.CO；cs.DM）
  • G.Brinkmann，K.Coolsaet，J.Goedgebeur，H.Mélot，《图形之家：有趣图形的数据库》，《离散应用数学》，161（1-2）：311-3142013。可在https://houseoggraphs.org
  • K.Coolsaet、Sven D'hondt和J.Goedgebeur，《图形之家2.0：一个有趣的图形数据库》，离散应用数学，325:97-1072023。可在https://houseoggraphs.org

项目列表：拓扑

π-基

詹姆斯·达布斯的拓扑反例集。截至2024年1月，它包含171个空间、174个属性和405个定理。它允许复杂的布尔查询，并且是为自动演绎而设计的。工作至少可以追溯到2013年；史蒂文·克朗茨于2017年加入。

项目列表：几何图形

三角中心百科全书

克拉克·金伯利（Clark Kimberling）。截至2024年1月，它拥有60000多个三角中心。

格目录

Gabriele Nebe和Neil Sloane制作的约160000个用于球形包装的格子目录。

项目列表：其他

逆向数学动物园

一个包含逆向数学含义、守恒事实和可约性的数据库，特别是在二阶算术的五大子系统中：RCA0、WKL0、ACA0，自动条码读取器0、和∏-加利福尼亚州0它是Damir Dzhafarov开发的，最近由Eric Astor重写。

延迟敏感系统百科全书（EDIS）

无论部件和连接是否延迟，延迟敏感系统都能正常运行。对于每个条目，信息可能包括

  1. 规范，包括非正式规范和各种形式规范（XDI模型、VERDECT、DI代数）。
  2. 属性，如对称性（结构和行为自同构）、分类（涉及选择或不确定性）、独立环境等。
  3. 相关的实现、DI分解和门和/或晶体管设计
  4. 概括
  5. 杂项，如相关问题和猜想、历史笔记等。
  6. 工具书类

它似乎包含几十个条目，最后修改日期为1998年。

代数恒等式集合

Tito Piezas III的代数恒等式集合。看起来最近一次更新是在2010年，现在它已经从网上发布了。它被描述为近300页，分为14个部分和31个部分（加上更新和介绍）。

其他社区

笔记

  1. ↑ Sara C.Billey；布里奇特·E·坦纳。“定理指纹数据库”.AMS的通知 60（8） ：第1034–1039页。arXiv公司:1304.3866. 
检索自“https://oeis.org/w/index.php？title=用户：Charles_R_Greathouse_IV/Projects&oldid=1658016"