开放梦想套件项目中的互操作性：数学中间方法
摘要：OpenDreamKit：“用于推动数学的开放数字研究环境工具包”是一个H2020欧盟研究基础设施项目，旨在在2015年至2019年期间支持开源数学软件系统的生态系统。从这个基础上，OpenDreamKit将提供一个灵活的工具包，使研究小组能够建立符合纯数学和应用研究项目各种需求的虚拟研究环境。 OpenDreamKit的一项重要任务是促进各种系统之间的互操作性，从计算机代数系统到数学数据库再到前端系统的各个层面。这是集成工作包（WP6）的使命。我们报告了与Math-in-the-Middle方法的实验和未来计划。这种信息架构包括一个中央数学本体论，记录了领域知识并设定了共同词汇，并结合各个系统功能的规范。然后，系统之间的交互可以通过这种信息架构进行丰富。
作者：Paul-Olivier Dehaye, Michael Kohlhase, Alexander Konovalov, Samuel Leli`evre, Markus Pfeiffer, Nicolas M. Thi''ery
论文ID：1603.06424
分类：Mathematical Software
分类简称：cs.MS
提交时间：2017-10-09