卡加·贝尔奇奇;迈克尔·科尔哈斯;弗洛里安·拉贝 建立统一的数学数据基础设施：数据库和接口生成。 （英语） Zbl 1428.68356号 Kaliszyk，Cezary（编辑）等人，《智能计算机数学》。2019年7月8日至12日在捷克共和国布拉格举行的第十二届国际会议，CICM 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11617, 28-43 (2019). 摘要：数据在应用数学甚至纯数学中发挥着越来越大的作用：具体数学对象的数据集激增，大小增加，未压缩数据达到1 TB，对象数以百万计。大多数数据集，尤其是许多较小的数据集，都是以临时方式维护和共享的。这种方法虽然易于实现，但存在可扩展性和可持续性问题，以及数据集和计算系统之间缺乏互操作性。在本文中，我们提出了实现数学数据统一基础设施的另一个实质性步骤：一个具有数学级API和UI的存储和共享系统，使各种集合可查找、可访问、可互操作和可重用。具体来说，我们提供了一个高级数据描述框架，从中可以自动生成数据库基础设施和用户界面。我们用数学家以前收集的几个数据集来实例化这个基础设施。基础设施使添加新数据集相对容易。关于整个系列，请参见[Zbl 1428.68028号]. 引用于1文件 MSC公司： 68伏35 数字数学图书馆和知识库 软件：数学中心信息;Slick（切片）;查找统计信息;离散ZOO;LMFDB公司;组织环境信息系统 PDF格式BibTeX公司 XML格式引用 \textit{K.Berčič}等人，Lect。注释计算。科学。11617，28-43（2019年；兹比尔1428.68356） 全文： DOI程序