卡加·贝尔奇奇；贾诺什·维达利 DiscreteZOO：离散对象的指纹数据库。 （英语） Zbl 1474.68457号 数学。计算。科学。 14，第3期，559-575（2020年）. 摘要：在本文中，我们介绍了DiscreteZOO，这是一个项目，它说明了计算机支持管理有限组合（离散）对象集合的一些可能性，特别是具有高度对称性的图。DiscreteZOO包含一个数据存储库、一个网站和一个SageMath包。 引用于1文件 数学溢出问题： 创建（特别是）组合对象列表/目录的早期示例有哪些？ MSC公司： 68伏35 数字数学图书馆和知识库 第68页，共15页 数据库理论 68卢比 离散数学与计算机科学 68瓦30 符号计算和代数计算 关键词：指纹数据库；顶点传递图；操纵器；SageMath包；网站 软件：DLMF公司；LMFDB公司；SageMath软件；OpenDreamKit（开放梦想工具包）；数学溢出；OEIS公司；图表之家；github；岩浆；鹦鹉螺；符号数据；查找统计信息；踪迹；离散ZOO；小型图形数据库；极乐；ATLAS集团代表 PDF格式BibTeX公司 XML格式引用 \textit{K.Berči}和\textit{J.Vidali}，数学。计算。科学。14，第3号，559--575（2020；Zbl 1474.68457） 全文： 内政部 arXiv公司 参考文献： [1] Babai，L.，Luks，E.M.：图的规范标注。摘自：第十五届ACM计算机理论年会论文集。83年STOC。美国纽约州纽约市：ACM，第171-183页（1983年）。国际标准图书编号：0-89791-099-0。10.1145/800061.808746 [2] Berčič，K.，Vidali，J.：离散ZOO存储库。https://github.com/DiscreteZOO网址 ·Zbl 1395.68108号 [3] 贝尔奇奇，K.：数学数据库。https://github.com/MathHubInfo/Documentation/wiki/Math-Databases。2018年11月29日访问 [4] Berg，C.，Stump，C.：FindStat:组合统计发现者（2014）。http://www.FindStat.org [5] 南卡罗来纳州比利；Tenner，BE，定理指纹数据库，Not。美国数学。Soc.，60，8，1034-1039（2013）·Zbl 1322.68252号 ·doi:10.1090/noti1029 [6] Bosma，W.，Cannon，J.，Playout，C.：岩浆代数系统。I.用户语言。收件人：J.Symb。计算。24.3-4。计算代数和数论（伦敦，1993），第235-265页，（1997）。ISSN:0747-7171。2006年10月10日/jsco.1996.0125·Zbl 0898.68039号 [7] Brinkmann，G.，《图形之家：有趣图形的数据库》，《离散应用》。数学。，161, 1, 311-314 (2013) ·Zbl 1292.05254号 ·doi:10.1016/j.dam.2012.07.018 [8] Chacon，S.，Straub，B.：专业Git（2014）。https://git-scm.com/ [9] Conder，M.D.E.等人：《扩大福斯特人口普查》。https://www.math.auckland.ac.nz/conder/symmcubic2048列表.txt [10] Dehaye，P.-O.等人：OpenDreamKit项目中的互操作性：中间的方法。收录：Kohlhase，M.等人（编辑）《智能计算机数学2016》。LNAI 9791。斯普林格（2016）。国际标准图书编号：978-3-319-08434-3。https://github.com/OpenDreamKit/OpenDream Kit/blob/master/WP6/CICM2016/published.pdf ·Zbl 1344.68268号 [11] Farmer，WM；施瓦茨，D。；Te’eni，D.，《数学知识管理》，《知识管理百科全书》，1082-1089（2011），好时：创意集团参考，好时 [12] Grot，J.：小型图形数据库。https://jasongrout.org/graph_database。2018年12月3日访问 [13] Junttila，T.，Kaski，P.：Bliss:计算图的自同构群和规范标记的工具。http://www.tcs.hut.fi/Software/bliss/ ·兹比尔1428.68222 [14] Kholmatova，A.，《设计系统》（2017），布莱斯高：Smashing Media AG，布雷斯高 [15] Kohlhase，M.：《数学对象标识符——数学研究数据》。作者：Kohlhase，A.，Kübler，E.（编辑）Wissens-und Erfahrungsmanagement（知识和经验管理），FGWM。2017年LWDA研讨会，第214-252页（2017年）。http://ceur-ws.org/Vol-1917/paper33.pdf [16] Kohlhase，M.：《数学知识管理：用理论图表超越单脑思维者》。摘自：EMS新闻稿，第22-27页（2014年）。https://kwarc.info/people/mkohlhase/papers/ems13.pdf ·Zbl 1317.68241号 [17] Lozier，D.W.：NIST数学函数数字图书馆。收录于：《数学与人工智能年鉴——数学知识管理专刊》38，第105-119页（2003年）。http://dlmf.nist.gov/about/publications/MKM-Lozier.pdf ·Zbl 1019.65001号 [18] Marc，T.，顶点传递三次偏立方体的分类，《图论》，86，4，406-421（2017）·Zbl 1375.05130号 ·doi:10.1002/jgt.22134 [19] MathOverflow贡献者。创建（特别是）组合对象列表/目录的早期示例有哪些？数学溢出。https://mathoverflow.net/questions/47044/what-are-some-early-examples-of-creation-of-lists-cataloges-of-particulally（https://MAThoverflows.net/quistions/4.7044/whata-are-sume-early-examples-of--creation-of-lists）。2018年11月20日访问 [20] McKay，B.，Royle，G.：传递图。http://staffhome.ecm.uwa.edu.au/00013890/remote/trans/index.html·兹比尔0805.05037 [21] McKay，B.：graph6、spare6和digraph6编码的描述。http://users.cecs.anu.edu.au/bdm/data/formats.txt格式 [22] 麦凯，BD；Piperno，A.，实用图同构，II，J.Symb。计算。，60, 94-112 (2014) ·兹比尔1394.05079 ·doi:10.1016/j.jsc.2013.09.003 [23] 梅内泽斯，AJ；PC公司van Oorschot；Vanstone，SA，《应用密码学手册》，xxviii+780（1997），博卡拉顿：CRC出版社，博卡拉通·Zbl 0868.94001号 [24] 诺曼，D.，《日常事物的设计》。《修订和扩充》（2013），纽约：基本图书，纽约 [25] OEIS基金会，编辑：整数序列在线百科全书。http://oeis.org（2017年5月28日访问） [26] Pisanski，T.等人：《图形百科全书》。http://atlas.gregas.eu。2018年12月3日访问 [27] 波托尼克，P。；维达利，J.，《周长规则图》，ARS数学。内容。，17, 2, 349-368 (2019) ·兹比尔1435.05120 ·数字对象标识代码：10.26493/1855-3974.1684.b0d [28] 波托尼克，P。；斯皮加，P。；Verret，G.，《最多1280个顶点上的三次顶点传递图》，J.Symb。计算。，50, 465-477 (2013) ·Zbl 1256.05102号 ·doi:10.1016/j.jsc.2012.09.002 [29] Read，R.C.，Wilson，R.J.：图形地图集。第464页（2005）·Zbl 0908.05001号 [30] Tenner，B.E.：排列模式避免数据库。http://math.depaul.edu/bridget/patterns.html ·Zbl 1275.05006号 [31] 康德计划。查询代数对象系统。http://page.math.tu-berlin.de/kant/database.html。2018年12月3日访问 [32] LMFDB合作。L函数和模块化表单数据库。http://www.lmfdb.org。2016年2月1日访问 [33] 贤明的开发商。SageMath，《Sage数学软件系统》（8.3版）（2018年）。http://www.sagemath.org [34] 符号数据项目。SymbolicData项目。https://symbolicdata.github.io/。2018年12月3日访问 [35] UniFormal/MMT—MMT语言和系统。https://github.com/UniFormal/MMT。2017年10月24日访问 [36] Wiesing，T.、Kohlhase，M.、Rabe，F.：虚拟理论——数学知识库的统一接口。发表于：Blömer，J.，Kutsia，T.，Simos，D.（编辑）MACIS 2017：第七届计算机和信息科学数学方面国际会议。LNCS 10693。施普林格，第243-257页（2017年）。https://github.com/OpenDreamKit/OpenDream Kit/blob/master/WP6/MACIS17-vt/crc.pdf ·Zbl 1497.68550号 [37] 维基百科撰稿人。指纹（消除歧义）。维基百科，免费百科全书。http://en.wikipedia.org/wiki/指纹_（消除歧义）。2018年11月22日访问 [38] Wilson，R.等人：有限群表示的ATLAS——第3版。http://brauer.mathes.qmul.ac.uk/A特拉斯/v3/。2018年12月3日访问 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。