卡加·贝尔奇奇 支持数据驱动的数学：数据库和界面生成。 （英语） Zbl 1433.68587号 最小Sémin。洛萨。梳子。 82B，第100条，第6页（2019年）. 小结：更容易进行计算的是将数学变成一门至少部分由数据驱动的学科。但它没有使用数据交易的工具：大多数数据集仍然以临时方式共享。我们提供了一个自动化的数据库设置过程，该过程从数据库模式到web界面，从数据集声明构建一个完整的网站堆栈。 MSC公司： 68伏35 数字数学图书馆和知识库 第68页，共15页 数据库理论 关键词：数学数据;数据库框架;模式声明 软件：质量管理团队;离散ZOO PDF格式BibTeX公司 XML格式引用 \textit{K.Berčič}，Sémin。洛萨。梳子。82B，第100条，第6页（2019年；Zbl 1433.68587） 全文： 链接 参考文献： [1] L.Babai和E.M.Luks。“图的规范标记”。第十五届ACM计算理论年会论文集。83年STOC。纽约州纽约市：ACM，1983年，第171-183页。链接。 [2] K.Ber ci c、M.Kohlhase和F.Rabe。“走向统一的数学数据基础设施：数据库和接口生成”。2019年智能计算机数学（CICM）。智能计算机数学会议。编辑：C.Kaliszyck、E.Brady、C.SacerdotiCoen和A.Kohlhase。正在准备中。2019.链接。 [3] S.Bernstein Joseph Gelbart主编，《兰兰兹计划简介》。Birkhäuser，2003年·Zbl 1112.11028号 [4] K.Ber’ci’c。数学数据库生活调查。链接（2019年3月19日访问）。 [5] K.Ber’ci’c和J.Vidali。“DiscreteZOO:离散对象的指纹数据库”。2018年链接·Zbl 1395.68108号 [6] DiscreteZOO网站。链接（2019年3月19日访问）。 [7] MBGen描述、链接演示和代码库。链接（2019年3月19日访问）。 [8] B.麦凯。“graph6、spare6和digraph6编码的描述”。链接。 [9] F.拉贝。“形式数学库的查询语言”。智能计算机数学。施普林格-柏林-海德堡出版社，2012年，第143-158页。arXiv:1204.4685·Zbl 1359.68272号 [10] T。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。